if the following are true:

• expression state at time t = "iterate_args"
• arguments stack at time t = [ [ ], z ]
• parent stack at time t = [ x, y ]

then parent stack at time (t + 1) = y