if Get first key from (the element at index i of stack stmts) > j, 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 isj, expression stack ises, values stack isvals, variables isvars, and control map iscontrol