CMNT	 	Sets the new state
CMNT	 	Input:  É ¥ state/inst/É
CMNT	 	Output:  É ¥ É
LITO	1	É ¥ 1/state/inst/É
LITO	2	É ¥ 2/1/state/inst/É
PRIM	S_tree/Replace	É ¥ inst/É
PRIM	Heap/Store self