(msos ASSIGNMENTS is
 Cmd ::= Id = Exp .
 
			Exp0 -{...}-> Exp'0
 -- --------------------------------------
 (Id = Exp0) : Cmd -{...}-> Id = Exp'0 .
 
				Env' := (Id |-> Int) / Env
 -- -----------------------------------------------
	(Id = Int) : Cmd -{env = Env', ...}-> skip .
				
sosm)
