(msos COMMANDS is
 Cmd .
 Cmd ::= skip 
			| Cmd ; Cmd .
			
		Cmd1 -{...}-> Cmd'1
 -- -----------------------------------------
 (Cmd1 ; Cmd2) : Cmd -{...}-> Cmd'1 ; Cmd2 .
 
		Cmd0 -{...}-> skip
 -- ----------------------------------
 (Cmd0 ; Cmd1) : Cmd -{...}-> Cmd1 .
 
 sosm)
