if expression state at time 12 = "return", then expression state at time 13 = "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.