provides the restriction [...] restriction If certain [...] restriction for a

Start (* ms *) ; The code [...] effect as the code [...] Start ) (* ns *) ; The code

( GenerateCode ), if it [...] Specification: STL_S_01 ) A