if the following are true:

• value at j in map (the element at index i of stack stmts) = else:
• value at j in map control = pair ("if", False)

then result of executing a Python program where statements is stmts, line is i, tab isj, expression stack ises, values stack isvals, variables isvars, and control map iscontrol = result of executing a Python program where statements is stmts, line is (i + 1), tab is(j + 1), expression stack ises, values stack isvals, variables isvars, and control map iscontrol