(msos ASSIGNMENTS is
 Loc . 
 Store = (Loc, Int) Map .
 Denotable ::= Loc .
 Cmd ::= Id = Exp 
	   | var Loc Id = Exp .
  
 Label = { st : Store, st' : Store, ... } .
 
			Exp0 -{...}-> Exp'0
 -- --------------------------------------
 (Id = Exp0) : Cmd -{...}-> Id := Exp'0 .
 
	 Loc := lookup (Id, Env), Store' := (Loc |-> Int) / Store
 -- -----------------------------------------------------------------------
	(Id = Int) : Cmd -{env = Env, st = Store, st' = Store', ...}-> skip .
	  
 			Exp0 -{...}-> Exp'0
 -- --------------------------------------------------------
  (var Loc Id = Exp0) : Cmd -{...}-> var Loc Id = Exp'0 .
  
 		Env' := (Id |-> Loc) / Env, Store' := (Loc |-> Int) / Store
 -- ---------------------------------------------------------------------------------
	(var Loc Id = Int) : Cmd -{env = Env', st = Store, st' = Store', ...}-> skip .

		Loc := lookup (Id, Env), Int := lookup (Loc, Store)
 -- --------------------------------------------------------------
	Id : Exp -{env = Env, st = Store, st' = Store, ...}-> Int .
				
sosm)
