Proofs

• the line at time 26 = 3
• the tab at time 26 = 2
• statement at line 3, tab 2 = self."first_name" = first_name
• Variables Map at time 26 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

then Variables Map at time 27 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

• the line at time 26 = 3
• the tab at time 26 = 2
• statement at line 3, tab 2 = self."first_name" = first_name
• stack at time 26 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

then stack at time 27 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

• the line at time 26 = 3
• the tab at time 26 = 2
• statement at line 3, tab 2 = self."first_name" = first_name
• Class Map at time 26 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

then Class Map at time 27 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

• expression state at time 27 = "begin_expr"
• the expression at time 27 = self."first_name" = first_name
• Value Stack at time 27 = [ ]

then Value Stack at time 28 = [ [ ], [ ] ]

• expression state at time 27 = "begin_expr"
• the expression at time 27 = self."first_name" = first_name
• parent stack at time 27 = [ ]

then parent stack at time 28 = [ self."first_name" = first_name, [ ] ]

• expression state at time 27 = "begin_expr"
• the expression at time 27 = self."first_name" = first_name
• arguments stack at time 27 = [ ]

then arguments stack at time 28 = [ [ first_name, [ ] ], [ ] ]

• expression state at time 27 = "begin_expr"
• the expression at time 27 = self."first_name" = first_name

then expression state at time 28 = "iterate_args"

• expression state at time 27 = "begin_expr"
• the expression at time 27 = self."first_name" = first_name

then the expression at time 28 = self."first_name" = first_name

• expression state at time 27 = "begin_expr"
• Variables Map at time 27 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

then Variables Map at time 28 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

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

then the line at time 28 = 3

• expression state at time 27 = "begin_expr"
• the tab at time 27 = 2

then the tab at time 28 = 2

• expression state at time 27 = "begin_expr"
• stack at time 27 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

then stack at time 28 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

• expression state at time 27 = "begin_expr"
• Python Object Store at time 27 = [ Python object: [ entry "__class_name__": "Person", [ ] ], [ ] ]

then Python Object Store at time 28 = [ Python object: [ entry "__class_name__": "Person", [ ] ], [ ] ]

• expression state at time 27 = "begin_expr"
• Control Map at time 27 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

then Control Map at time 28 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

• expression state at time 27 = "begin_expr"
• Class Map at time 27 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

then Class Map at time 28 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

• expression state at time 28 = "iterate_args"
• arguments stack at time 28 = [ [ first_name, [ ] ], [ ] ]

then the expression at time 29 = first_name

• expression state at time 28 = "iterate_args"
• arguments stack at time 28 = [ [ first_name, [ ] ], [ ] ]

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

• expression state at time 28 = "iterate_args"
• arguments stack at time 28 = [ [ first_name, [ ] ], [ ] ]

then expression state at time 29 = "begin_expr"

• expression state at time 28 = "iterate_args"
• arguments stack at time 28 = [ [ first_name, [ ] ], [ ] ]
• parent stack at time 28 = [ self."first_name" = first_name, [ ] ]

then parent stack at time 29 = [ self."first_name" = first_name, [ ] ]

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

then Value Stack at time 29 = [ [ ], [ ] ]

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

then the line at time 29 = 3

• expression state at time 28 = "iterate_args"
• the tab at time 28 = 2

then the tab at time 29 = 2

• expression state at time 28 = "iterate_args"
• stack at time 28 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

then stack at time 29 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

• expression state at time 28 = "iterate_args"
• Python Object Store at time 28 = [ Python object: [ entry "__class_name__": "Person", [ ] ], [ ] ]

then Python Object Store at time 29 = [ Python object: [ entry "__class_name__": "Person", [ ] ], [ ] ]

• expression state at time 28 = "iterate_args"
• Control Map at time 28 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

then Control Map at time 29 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

• expression state at time 28 = "iterate_args"
• Variables Map at time 28 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

then Variables Map at time 29 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

• expression state at time 28 = "iterate_args"
• Class Map at time 28 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

then Class Map at time 29 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

• expression state at time 29 = "begin_expr"
• Variables Map at time 29 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

then Variables Map at time 30 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

• the expression at time 29 = first_name
• expression state at time 29 = "begin_expr"
• first_name is a variable
• parent stack at time 29 = [ self."first_name" = first_name, [ ] ]

then expression state at time 30 = "return"

• the expression at time 29 = first_name
• expression state at time 29 = "begin_expr"
• first_name is a variable
• Value Stack at time 29 = [ [ ], [ ] ]

then Value Stack at time 30 = [ [ ], [ ] ]

• the expression at time 29 = first_name
• expression state at time 29 = "begin_expr"
• first_name is a variable
• arguments stack at time 29 = [ [ ], [ ] ]

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

• expression state at time 29 = "begin_expr"
• the expression at time 29 = first_name
• first_name is a variable
• Variables Map at time 29 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

then Return Value at time 30 = "John"

• expression state at time 29 = "begin_expr"
• the expression at time 29 = first_name
• first_name is a variable
• parent stack at time 29 = [ self."first_name" = first_name, [ ] ]

then parent stack at time 30 = [ self."first_name" = first_name, [ ] ]

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

then the line at time 30 = 3

• expression state at time 29 = "begin_expr"
• the tab at time 29 = 2

then the tab at time 30 = 2

• expression state at time 29 = "begin_expr"
• stack at time 29 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

then stack at time 30 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

• expression state at time 29 = "begin_expr"
• Python Object Store at time 29 = [ Python object: [ entry "__class_name__": "Person", [ ] ], [ ] ]

then Python Object Store at time 30 = [ Python object: [ entry "__class_name__": "Person", [ ] ], [ ] ]

• expression state at time 29 = "begin_expr"
• Control Map at time 29 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

then Control Map at time 30 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

• expression state at time 29 = "begin_expr"
• Class Map at time 29 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

then Class Map at time 30 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

• expression state at time 30 = "return"
• Value Stack at time 30 = [ [ ], [ ] ]
• Return Value at time 30 = "John"

then Value Stack at time 31 = [ [ "John", [ ] ], [ ] ]

• expression state at time 30 = "return"
• Variables Map at time 30 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

then Variables Map at time 31 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

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

then the line at time 31 = 3

• expression state at time 30 = "return"
• the tab at time 30 = 2

then the tab at time 31 = 2

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

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

• expression state at time 30 = "return"
• parent stack at time 30 = [ self."first_name" = first_name, [ ] ]

then parent stack at time 31 = [ self."first_name" = first_name, [ ] ]

• expression state at time 30 = "return"
• stack at time 30 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

then stack at time 31 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

• expression state at time 30 = "return"
• Class Map at time 30 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

then Class Map at time 31 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

• expression state at time 30 = "return"
• Python Object Store at time 30 = [ Python object: [ entry "__class_name__": "Person", [ ] ], [ ] ]

then Python Object Store at time 31 = [ Python object: [ entry "__class_name__": "Person", [ ] ], [ ] ]

• expression state at time 30 = "return"
• Control Map at time 30 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

then Control Map at time 31 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

• expression state at time 31 = "iterate_args"
• arguments stack at time 31 = [ [ ], [ ] ]
• parent stack at time 31 = [ self."first_name" = first_name, [ ] ]

then expression state at time 32 = "call_function_begin"

• expression state at time 31 = "iterate_args"
• arguments stack at time 31 = [ [ ], [ ] ]
• parent stack at time 31 = [ self."first_name" = first_name, [ ] ]

then the expression at time 32 = self."first_name" = first_name

• expression state at time 31 = "iterate_args"
• arguments stack at time 31 = [ [ ], [ ] ]
• parent stack at time 31 = [ self."first_name" = first_name, [ ] ]

then parent stack at time 32 = [ ]

• expression state at time 31 = "iterate_args"
• arguments stack at time 31 = [ [ ], [ ] ]
• parent stack at time 31 = [ self."first_name" = first_name, [ ] ]

then arguments stack at time 32 = [ ]

• expression state at time 31 = "iterate_args"
• Value Stack at time 31 = [ [ "John", [ ] ], [ ] ]

then Value Stack at time 32 = [ [ "John", [ ] ], [ ] ]

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

then the line at time 32 = 3

• expression state at time 31 = "iterate_args"
• the tab at time 31 = 2

then the tab at time 32 = 2

• expression state at time 31 = "iterate_args"
• stack at time 31 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

then stack at time 32 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

• expression state at time 31 = "iterate_args"
• Python Object Store at time 31 = [ Python object: [ entry "__class_name__": "Person", [ ] ], [ ] ]

then Python Object Store at time 32 = [ Python object: [ entry "__class_name__": "Person", [ ] ], [ ] ]

• expression state at time 31 = "iterate_args"
• Control Map at time 31 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

then Control Map at time 32 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

• expression state at time 31 = "iterate_args"
• Variables Map at time 31 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

then Variables Map at time 32 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

• expression state at time 31 = "iterate_args"
• Class Map at time 31 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

then Class Map at time 32 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

• expression state at time 32 = "call_function_begin"
• Value Stack at time 32 = [ [ "John", [ ] ], [ ] ]
• the expression at time 32 = self."first_name" = first_name
• value at self in map (Variables Map at time 32) = Python reference 0
• Python Object Store at time 32 = [ Python object: [ entry "__class_name__": "Person", [ ] ], [ ] ]
• the element at index 0 of stack (Python Object Store at time 32) = Python object: [ entry "__class_name__": "Person", [ ] ]

then Python Object Store at time 33 = [ Python object: [ entry "__class_name__": "Person", [ entry "first_name": "John", [ ] ] ], [ ] ]

• expression state at time 32 = "call_function_begin"
• parent stack at time 32 = [ ]
• the expression at time 32 = self."first_name" = first_name

then expression state at time 33 = "end_expr"

• expression state at time 32 = "call_function_begin"
• Value Stack at time 32 = [ [ "John", [ ] ], [ ] ]
• the expression at time 32 = self."first_name" = first_name

then Value Stack at time 33 = [ ]

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

then arguments stack at time 33 = [ ]

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

then parent stack at time 33 = [ ]

• expression state at time 32 = "call_function_begin"
• Control Map at time 32 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

then Control Map at time 33 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

• expression state at time 32 = "call_function_begin"
• Variables Map at time 32 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

then Variables Map at time 33 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

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

then the line at time 33 = 3

• expression state at time 32 = "call_function_begin"
• the tab at time 32 = 2

then the tab at time 33 = 2

• expression state at time 32 = "call_function_begin"
• stack at time 32 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

then stack at time 33 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

• expression state at time 32 = "call_function_begin"
• Class Map at time 32 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

then Class Map at time 33 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

• the line at time 33 = 3
• the tab at time 33 = 2
• statement at line 3, tab 2 = self."first_name" = first_name
• expression state at time 33 = "end_expr"

then the line at time 34 = 4

• the line at time 33 = 3
• the tab at time 33 = 2
• statement at line 3, tab 2 = self."first_name" = first_name
• expression state at time 33 = "end_expr"

then the tab at time 34 = 2

• the line at time 33 = 3
• the tab at time 33 = 2
• statement at line 3, tab 2 = self."first_name" = first_name
• expression state at time 33 = "end_expr"
• Python Object Store at time 33 = [ Python object: [ entry "__class_name__": "Person", [ entry "first_name": "John", [ ] ] ], [ ] ]

then Python Object Store at time 34 = [ Python object: [ entry "__class_name__": "Person", [ entry "first_name": "John", [ ] ] ], [ ] ]

• the line at time 33 = 3
• the tab at time 33 = 2
• statement at line 3, tab 2 = self."first_name" = first_name
• expression state at time 33 = "end_expr"
• Control Map at time 33 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

then Control Map at time 34 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

• the line at time 33 = 3
• the tab at time 33 = 2
• statement at line 3, tab 2 = self."first_name" = first_name
• Variables Map at time 33 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

then Variables Map at time 34 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

• the line at time 33 = 3
• the tab at time 33 = 2
• statement at line 3, tab 2 = self."first_name" = first_name
• stack at time 33 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

then stack at time 34 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

• the line at time 33 = 3
• the tab at time 33 = 2
• statement at line 3, tab 2 = self."first_name" = first_name
• Class Map at time 33 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

then Class Map at time 34 = [ entry "Person": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ first_name, [ last_name, [ age, [ ] ] ] ] ], [ entry "line": 2, [ ] ] ], [ entry "age_in_months": [ entry "params": [ self, [ ] ], [ entry "line": 6, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ ] ]

• the line at time 34 = 4
• the tab at time 34 = 2
• statement at line 4, tab 2 = self."last_name" = last_name
• expression state at time 34 = "not_expr"

then the expression at time 35 = self."last_name" = last_name

• the line at time 34 = 4
• the tab at time 34 = 2
• statement at line 4, tab 2 = self."last_name" = last_name
• expression state at time 34 = "not_expr"

then expression state at time 35 = "begin_expr"

• the line at time 34 = 4
• the tab at time 34 = 2
• statement at line 4, tab 2 = self."last_name" = last_name
• expression state at time 34 = "not_expr"

then the line at time 35 = 4

• the line at time 34 = 4
• the tab at time 34 = 2
• statement at line 4, tab 2 = self."last_name" = last_name
• expression state at time 34 = "not_expr"

then the tab at time 35 = 2

• the line at time 34 = 4
• the tab at time 34 = 2
• statement at line 4, tab 2 = self."last_name" = last_name
• expression state at time 34 = "not_expr"

then Value Stack at time 35 = [ ]

• the line at time 34 = 4
• the tab at time 34 = 2
• statement at line 4, tab 2 = self."last_name" = last_name
• expression state at time 34 = "not_expr"

then parent stack at time 35 = [ ]

• the line at time 34 = 4
• the tab at time 34 = 2
• statement at line 4, tab 2 = self."last_name" = last_name
• expression state at time 34 = "not_expr"

then arguments stack at time 35 = [ ]

• the line at time 34 = 4
• the tab at time 34 = 2
• statement at line 4, tab 2 = self."last_name" = last_name
• expression state at time 34 = "not_expr"
• Python Object Store at time 34 = [ Python object: [ entry "__class_name__": "Person", [ entry "first_name": "John", [ ] ] ], [ ] ]

then Python Object Store at time 35 = [ Python object: [ entry "__class_name__": "Person", [ entry "first_name": "John", [ ] ] ], [ ] ]

• the line at time 34 = 4
• the tab at time 34 = 2
• statement at line 4, tab 2 = self."last_name" = last_name
• expression state at time 34 = "not_expr"
• Control Map at time 34 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

then Control Map at time 35 = [ entry 0: (pair ("class", "Person")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

• the line at time 34 = 4
• the tab at time 34 = 2
• statement at line 4, tab 2 = self."last_name" = last_name
• Variables Map at time 34 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

then Variables Map at time 35 = [ entry self: (Python reference 0), [ entry first_name: "John", [ entry last_name: "Smith", [ entry age: 25, [ ] ] ] ] ]

• the line at time 34 = 4
• the tab at time 34 = 2
• statement at line 4, tab 2 = self."last_name" = last_name
• stack at time 34 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]

then stack at time 35 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 8 tab: 0) and control map: [ entry 0: (pair ("class", "Person")), [ ] ], [ ] ]