-<while e s,c> => c' => <e,c> => <false,c'>
-
-<while e s,c> => pop(c''') => <e,c> => <true,c'> push(c') => c'' <s,c''> => c'''
-
-
-[SDecl]
-
-<i := e,c> => c'[i->v] <= <e,c> => <v,c'>
-
-Adds i with value v to the current scope in the context
-
-[SDeclD]
-
-<int i,c> => c[i->0]
-<bool i,c> => c[i->false]
-
-Adds i with default value in the current scope
-
-[SNoop]
-
-<SNoop,c> => c
-
-SNoops does nothing so the same context is returned
-
-[SPrint]
+<while e s,c> => c''' => <e,c> => <true,c'> push(c') => c'' <s,c''> => c''', c'''(ret)