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

then Control Map at time (t + 1) = Control Map at time t