if the following are true:

• expression state at time t = "begin_expr"
• the expression at time t = c
• c is constant

then arguments stack at time (t + 1) = arguments stack at time t