if expression state at time 29 = "return", then expression state at time 30 = "iterate_args"
Start from the conclusion and work back up the proof. Click the arrow to show the parents.
Start from the conclusion and work back up the proof. Click the arrow to show the parents.