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 arguments stack at time (t + 1) = z