Proofs

• expression state at time 15 = "begin_expr"
• Python Object Store at time 15 = [ ]

then Python Object Store at time 16 = [ ]

• expression state at time 15 = "begin_expr"
• Control Map at time 15 = [ pair ("if", False), [ ] ]

then Control Map at time 16 = [ pair ("if", False), [ ] ]

• expression state at time 15 = "begin_expr"
• Variables Map at time 15 = [ ]

then Variables Map at time 16 = [ ]

• expression state at time 15 = "begin_expr"
• Class Map at time 15 = [ ]

then Class Map at time 16 = [ ]

• expression state at time 16 = "return"
• Value Stack at time 16 = [ [ ], [ ] ]
• Return Value at time 16 = 7

then Value Stack at time 17 = [ [ 7, [ ] ], [ ] ]

• expression state at time 16 = "return"
• Variables Map at time 16 = [ ]

then Variables Map at time 17 = [ ]

• expression state at time 16 = "return"
• the line at time 16 = 3

then the line at time 17 = 3

• expression state at time 16 = "return"
• the tab at time 16 = 0

then the tab at time 17 = 0

• expression state at time 16 = "return"
• arguments stack at time 16 = [ [ 9, [ ] ], [ ] ]

then arguments stack at time 17 = [ [ 9, [ ] ], [ ] ]

• expression state at time 16 = "return"
• parent stack at time 16 = [ __eq__(7, 9), [ ] ]

then parent stack at time 17 = [ __eq__(7, 9), [ ] ]

• expression state at time 16 = "return"
• stack at time 16 = [ ]

then stack at time 17 = [ ]

• expression state at time 16 = "return"
• Class Map at time 16 = [ ]

then Class Map at time 17 = [ ]

• expression state at time 16 = "return"
• Python Object Store at time 16 = [ ]

then Python Object Store at time 17 = [ ]

• expression state at time 16 = "return"
• Control Map at time 16 = [ pair ("if", False), [ ] ]

then Control Map at time 17 = [ pair ("if", False), [ ] ]

• expression state at time 17 = "iterate_args"
• arguments stack at time 17 = [ [ 9, [ ] ], [ ] ]

then the expression at time 18 = 9

• expression state at time 17 = "iterate_args"
• arguments stack at time 17 = [ [ 9, [ ] ], [ ] ]

then arguments stack at time 18 = [ [ ], [ ] ]

• expression state at time 17 = "iterate_args"
• arguments stack at time 17 = [ [ 9, [ ] ], [ ] ]

then expression state at time 18 = "begin_expr"

• expression state at time 17 = "iterate_args"
• arguments stack at time 17 = [ [ 9, [ ] ], [ ] ]
• parent stack at time 17 = [ __eq__(7, 9), [ ] ]

then parent stack at time 18 = [ __eq__(7, 9), [ ] ]

• expression state at time 17 = "iterate_args"
• Value Stack at time 17 = [ [ 7, [ ] ], [ ] ]

then Value Stack at time 18 = [ [ 7, [ ] ], [ ] ]

• expression state at time 17 = "iterate_args"
• the line at time 17 = 3

then the line at time 18 = 3

• expression state at time 17 = "iterate_args"
• the tab at time 17 = 0

then the tab at time 18 = 0

• expression state at time 17 = "iterate_args"
• stack at time 17 = [ ]

then stack at time 18 = [ ]

• expression state at time 17 = "iterate_args"
• Python Object Store at time 17 = [ ]

then Python Object Store at time 18 = [ ]

• expression state at time 17 = "iterate_args"
• Control Map at time 17 = [ pair ("if", False), [ ] ]

then Control Map at time 18 = [ pair ("if", False), [ ] ]

• expression state at time 17 = "iterate_args"
• Variables Map at time 17 = [ ]

then Variables Map at time 18 = [ ]

• expression state at time 17 = "iterate_args"
• Class Map at time 17 = [ ]

then Class Map at time 18 = [ ]

• the expression at time 18 = 9
• expression state at time 18 = "begin_expr"
• 9 is constant
• parent stack at time 18 = [ __eq__(7, 9), [ ] ]

then expression state at time 19 = "return"

• the expression at time 18 = 9
• expression state at time 18 = "begin_expr"
• 9 is constant
• Value Stack at time 18 = [ [ 7, [ ] ], [ ] ]

then Value Stack at time 19 = [ [ 7, [ ] ], [ ] ]

• the expression at time 18 = 9
• expression state at time 18 = "begin_expr"
• 9 is constant
• arguments stack at time 18 = [ [ ], [ ] ]

then arguments stack at time 19 = [ [ ], [ ] ]

• expression state at time 18 = "begin_expr"
• the expression at time 18 = 9
• 9 is constant

then Return Value at time 19 = 9

• expression state at time 18 = "begin_expr"
• the expression at time 18 = 9
• 9 is constant
• parent stack at time 18 = [ __eq__(7, 9), [ ] ]

then parent stack at time 19 = [ __eq__(7, 9), [ ] ]

• expression state at time 18 = "begin_expr"
• the line at time 18 = 3

then the line at time 19 = 3

• expression state at time 18 = "begin_expr"
• the tab at time 18 = 0

then the tab at time 19 = 0

• expression state at time 18 = "begin_expr"
• stack at time 18 = [ ]

then stack at time 19 = [ ]

• expression state at time 18 = "begin_expr"
• Python Object Store at time 18 = [ ]

then Python Object Store at time 19 = [ ]

• expression state at time 18 = "begin_expr"
• Control Map at time 18 = [ pair ("if", False), [ ] ]

then Control Map at time 19 = [ pair ("if", False), [ ] ]

• expression state at time 18 = "begin_expr"
• Variables Map at time 18 = [ ]

then Variables Map at time 19 = [ ]

• expression state at time 18 = "begin_expr"
• Class Map at time 18 = [ ]

then Class Map at time 19 = [ ]

• expression state at time 19 = "return"
• Value Stack at time 19 = [ [ 7, [ ] ], [ ] ]
• Return Value at time 19 = 9

then Value Stack at time 20 = [ [ 9, [ 7, [ ] ] ], [ ] ]

• expression state at time 19 = "return"
• Variables Map at time 19 = [ ]

then Variables Map at time 20 = [ ]

• expression state at time 19 = "return"
• the line at time 19 = 3

then the line at time 20 = 3

• expression state at time 19 = "return"
• the tab at time 19 = 0

then the tab at time 20 = 0

• expression state at time 19 = "return"
• arguments stack at time 19 = [ [ ], [ ] ]

then arguments stack at time 20 = [ [ ], [ ] ]

• expression state at time 19 = "return"
• parent stack at time 19 = [ __eq__(7, 9), [ ] ]

then parent stack at time 20 = [ __eq__(7, 9), [ ] ]

• expression state at time 19 = "return"
• stack at time 19 = [ ]

then stack at time 20 = [ ]

• expression state at time 19 = "return"
• Class Map at time 19 = [ ]

then Class Map at time 20 = [ ]

• expression state at time 19 = "return"
• Python Object Store at time 19 = [ ]

then Python Object Store at time 20 = [ ]

• expression state at time 19 = "return"
• Control Map at time 19 = [ pair ("if", False), [ ] ]

then Control Map at time 20 = [ pair ("if", False), [ ] ]

• expression state at time 20 = "iterate_args"
• arguments stack at time 20 = [ [ ], [ ] ]
• parent stack at time 20 = [ __eq__(7, 9), [ ] ]

then expression state at time 21 = "call_function_begin"

• expression state at time 20 = "iterate_args"
• arguments stack at time 20 = [ [ ], [ ] ]
• parent stack at time 20 = [ __eq__(7, 9), [ ] ]

then the expression at time 21 = __eq__(7, 9)

• expression state at time 20 = "iterate_args"
• arguments stack at time 20 = [ [ ], [ ] ]
• parent stack at time 20 = [ __eq__(7, 9), [ ] ]

then parent stack at time 21 = [ ]

• expression state at time 20 = "iterate_args"
• arguments stack at time 20 = [ [ ], [ ] ]
• parent stack at time 20 = [ __eq__(7, 9), [ ] ]

then arguments stack at time 21 = [ ]

• expression state at time 20 = "iterate_args"
• Value Stack at time 20 = [ [ 9, [ 7, [ ] ] ], [ ] ]

then Value Stack at time 21 = [ [ 9, [ 7, [ ] ] ], [ ] ]

• expression state at time 20 = "iterate_args"
• the line at time 20 = 3

then the line at time 21 = 3

• expression state at time 20 = "iterate_args"
• the tab at time 20 = 0

then the tab at time 21 = 0

• expression state at time 20 = "iterate_args"
• stack at time 20 = [ ]

then stack at time 21 = [ ]

• expression state at time 20 = "iterate_args"
• Python Object Store at time 20 = [ ]

then Python Object Store at time 21 = [ ]

• expression state at time 20 = "iterate_args"
• Control Map at time 20 = [ pair ("if", False), [ ] ]

then Control Map at time 21 = [ pair ("if", False), [ ] ]

• expression state at time 20 = "iterate_args"
• Variables Map at time 20 = [ ]

then Variables Map at time 21 = [ ]

• expression state at time 20 = "iterate_args"
• Class Map at time 20 = [ ]

then Class Map at time 21 = [ ]

• expression state at time 21 = "call_function_begin"
• the expression at time 21 = __eq__(7, 9)
• Python Object Store at time 21 = [ ]

then Python Object Store at time 22 = [ ]

• expression state at time 21 = "call_function_begin"
• Value Stack at time 21 = [ [ 9, [ 7, [ ] ] ], [ ] ]
• the expression at time 21 = __eq__(7, 9)

then Return Value at time 22 = False

• expression state at time 21 = "call_function_begin"
• parent stack at time 21 = [ ]
• the expression at time 21 = __eq__(7, 9)

then expression state at time 22 = "end_expr"

• expression state at time 21 = "call_function_begin"
• Value Stack at time 21 = [ [ 9, [ 7, [ ] ] ], [ ] ]
• the expression at time 21 = __eq__(7, 9)

then Value Stack at time 22 = [ ]

• expression state at time 21 = "call_function_begin"
• arguments stack at time 21 = [ ]

then arguments stack at time 22 = [ ]

• expression state at time 21 = "call_function_begin"
• parent stack at time 21 = [ ]

then parent stack at time 22 = [ ]

• expression state at time 21 = "call_function_begin"
• Control Map at time 21 = [ pair ("if", False), [ ] ]

then Control Map at time 22 = [ pair ("if", False), [ ] ]

• expression state at time 21 = "call_function_begin"
• Variables Map at time 21 = [ ]

then Variables Map at time 22 = [ ]

• expression state at time 21 = "call_function_begin"
• the line at time 21 = 3

then the line at time 22 = 3

• expression state at time 21 = "call_function_begin"
• the tab at time 21 = 0

then the tab at time 22 = 0

• expression state at time 21 = "call_function_begin"
• stack at time 21 = [ ]

then stack at time 22 = [ ]

• expression state at time 21 = "call_function_begin"
• Class Map at time 21 = [ ]

then Class Map at time 22 = [ ]

• the line at time 22 = 3
• the tab at time 22 = 0
• statement at line 3, tab 0 = elif __eq__(7, 9):
• expression state at time 22 = "end_expr"
• Return Value at time 22 = False

then the line at time 23 = 4

• the line at time 22 = 3
• the tab at time 22 = 0
• statement at line 3, tab 0 = elif __eq__(7, 9):
• expression state at time 22 = "end_expr"
• Return Value at time 22 = False

then the tab at time 23 = 0

• the line at time 22 = 3
• the tab at time 22 = 0
• statement at line 3, tab 0 = elif __eq__(7, 9):
• stack at time 22 = [ ]

then stack at time 23 = [ ]

• the line at time 22 = 3
• the tab at time 22 = 0
• statement at line 3, tab 0 = elif __eq__(7, 9):
• Variables Map at time 22 = [ ]

then Variables Map at time 23 = [ ]

• the line at time 22 = 3
• the tab at time 22 = 0
• statement at line 3, tab 0 = elif __eq__(7, 9):
• Class Map at time 22 = [ ]

then Class Map at time 23 = [ ]

• the line at time 22 = 3
• the tab at time 22 = 0
• statement at line 3, tab 0 = elif __eq__(7, 9):
• expression state at time 22 = "end_expr"
• Python Object Store at time 22 = [ ]

then Python Object Store at time 23 = [ ]

• the line at time 22 = 3
• the tab at time 22 = 0
• statement at line 3, tab 0 = elif __eq__(7, 9):
• expression state at time 22 = "end_expr"
• Return Value at time 22 = False
• Control Map at time 22 = [ pair ("if", False), [ ] ]

then Control Map at time 23 = [ pair ("if", False), [ ] ]

• the line at time 23 = 4
• the tab at time 23 = 0
• statement at line 4, tab 1 = a = 8

then the line at time 24 = 5

• the line at time 23 = 4
• the tab at time 23 = 0
• statement at line 4, tab 1 = a = 8

then the tab at time 24 = 0

• the line at time 23 = 4
• the tab at time 23 = 0
• statement at line 4, tab 1 = a = 8
• Variables Map at time 23 = [ ]

then Variables Map at time 24 = [ ]

• the line at time 23 = 4
• the tab at time 23 = 0
• statement at line 4, tab 1 = a = 8
• stack at time 23 = [ ]

then stack at time 24 = [ ]

• the line at time 23 = 4
• the tab at time 23 = 0
• statement at line 4, tab 1 = a = 8
• Python Object Store at time 23 = [ ]

then Python Object Store at time 24 = [ ]

• the line at time 23 = 4
• the tab at time 23 = 0
• statement at line 4, tab 1 = a = 8
• Control Map at time 23 = [ pair ("if", False), [ ] ]

then Control Map at time 24 = [ pair ("if", False), [ ] ]

• the line at time 23 = 4
• the tab at time 23 = 0
• statement at line 4, tab 1 = a = 8
• Class Map at time 23 = [ ]

then Class Map at time 24 = [ ]

• the line at time 23 = 4
• the tab at time 23 = 0
• statement at line 4, tab 1 = a = 8

then expression state at time 24 = "not_expr"

• 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 line at time 25 = 6

• 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

• the line at time 24 = 5
• the tab at time 24 = 0
• statement at line 5, tab 0 = else:
• Python Object Store at time 24 = [ ]

then Python Object Store at time 25 = [ ]

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

then Control Map at time 25 = [ pair ("if", False), [ ] ]

• the line at time 24 = 5
• the tab at time 24 = 0
• statement at line 5, tab 0 = else:
• stack at time 24 = [ ]

then stack at time 25 = [ ]

• the line at time 24 = 5
• the tab at time 24 = 0
• statement at line 5, tab 0 = else:
• Variables Map at time 24 = [ ]

then Variables Map at time 25 = [ ]

• the line at time 24 = 5
• the tab at time 24 = 0
• statement at line 5, tab 0 = else:
• Class Map at time 24 = [ ]

then Class Map at time 25 = [ ]

• the line at time 24 = 5
• the tab at time 24 = 0
• statement at line 5, tab 0 = else:
• expression state at time 24 = "not_expr"

then expression state at time 25 = "not_expr"

• the line at time 25 = 6
• the tab at time 25 = 1
• statement at line 6, tab 1 = a = 9
• 9 is constant
• Variables Map at time 25 = [ ]

then Variables Map at time 26 = [ entry a: 9, [ ] ]