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

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