if the following are true:

• Get first key from (the element at index i of stack stmts) < j
• the element at index 0 of stack (value at (j - 1) in map control) = "while"

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 (the element at index 1 of stack (value at (j - 1) in map control)), tab is(j - 1), expression stack ises, values stack isvals, variables isvars, and control map iscontrol