if the following are true:

• the line at time 24 = 5
• the tab at time 24 = 0
• statement at line 5, tab 0 = else:
• Control Map at time 24 = [ entry 0: (pair ("if", False)), [ ] ]

then the tab at time 25 = 1

Start from the conclusion and work back up the proof. Click the arrow to show the parents.