if the following are true:

• Expression Stack at time t = [ [ x, ys ], rest ]
• Value Stack at time t = [ values, v_rest ]
• x is a variable

then Value Stack at time (t + 1) = [ [ value at x in map (Variables Map at time t), values ], v_rest ]