if expression state at time t = "call_returned", then arguments stack at time (t + 1) = arguments stack at time t