-[EBool]
-
-<b,c> => <b,c>
-
-[EReadI,EReadB]
-
-<c> => <v,c'> <= <IO,c> => <v,c'>
-
-[EPost]
-
-<i,c> => <v,c[i->v']> <= c(i) => v, v±1 => v'
-
-Look up the variable, add/subtract 1 from the value then return the old value and context with modified value
-
-[SExp]
-
-<e,c> => c' <= <e,c> => <v,c'>
-
-[SBlock]
-
-<SBlock s,c> => c''' <= push(c) => c' <s,c'> => c'' pop(c'') => c'''
-
-Push a new scope onto the context, execute the statements in this context and the pop the scope from the context
-
-[SEQ]
-
-<s1;s2,c> => c'' <= <s1,c> => c' <s2,c'> => c''
-
-[SIf]
-
-<if e s1 s2,c> => pop(c''') <= <e,c> => <true,c'> push(c') <s1,c''> => c'''
-
-<if e s1 s2,c> => pop(c''') <= <e,c> => <false,c'> push(c') <s2,c''> => c'''