if is (value at j in map (the element at index i of stack stmts)) an assign statement = True, then result of executing a Python program where statements is stmts, line is i, tab isj, expression stack is[ [ ], [ ] ], values stack is[ [ value, [ ] ], [ ] ], variables isvars, and control map iscontrol = result of executing a Python program where statements is stmts, line is (i + 1), tab isj, expression stack is[ ], values stack is[ ], variables is(result of storing value at key: (get target from (value at j in map (the element at index i of stack stmts))) in map: vars), and control map iscontrol