Proofs

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

then the tab at time 31 = 2

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

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

• expression state at time 30 = "iterate_args"
• Python Object Store at time 30 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ]

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

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

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

• expression state at time 30 = "iterate_args"
• Variables Map at time 30 = [ entry self: (Python reference 0), [ ] ]

then Variables Map at time 31 = [ entry self: (Python reference 0), [ ] ]

• expression state at time 30 = "iterate_args"
• Class Map at time 30 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 31 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

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

then Python Object Store at time 32 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

• expression state at time 31 = "call_function_begin"
• parent stack at time 31 = [ ]
• the expression at time 31 = self."y" = 0

then expression state at time 32 = "end_expr"

• expression state at time 31 = "call_function_begin"
• Value Stack at time 31 = [ [ 0, [ ] ], [ ] ]
• the expression at time 31 = self."y" = 0

then Value Stack at time 32 = [ ]

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

then arguments stack at time 32 = [ ]

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

then parent stack at time 32 = [ ]

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

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

• expression state at time 31 = "call_function_begin"
• Variables Map at time 31 = [ entry self: (Python reference 0), [ ] ]

then Variables Map at time 32 = [ entry self: (Python reference 0), [ ] ]

• expression state at time 31 = "call_function_begin"
• the line at time 31 = 4

then the line at time 32 = 4

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

then the tab at time 32 = 2

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

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

• expression state at time 31 = "call_function_begin"
• Class Map at time 31 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 32 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

• the line at time 32 = 4
• the tab at time 32 = 2
• statement at line 4, tab 2 = self."y" = 0
• expression state at time 32 = "end_expr"

then the line at time 33 = 5

• the line at time 32 = 4
• the tab at time 32 = 2
• statement at line 4, tab 2 = self."y" = 0
• expression state at time 32 = "end_expr"

then the tab at time 33 = 2

• the line at time 32 = 4
• the tab at time 32 = 2
• statement at line 4, tab 2 = self."y" = 0
• expression state at time 32 = "end_expr"
• Python Object Store at time 32 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

then Python Object Store at time 33 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

• the line at time 32 = 4
• the tab at time 32 = 2
• statement at line 4, tab 2 = self."y" = 0
• expression state at time 32 = "end_expr"
• Control Map at time 32 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

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

• the line at time 32 = 4
• the tab at time 32 = 2
• statement at line 4, tab 2 = self."y" = 0
• Variables Map at time 32 = [ entry self: (Python reference 0), [ ] ]

then Variables Map at time 33 = [ entry self: (Python reference 0), [ ] ]

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

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

• the line at time 32 = 4
• the tab at time 32 = 2
• statement at line 4, tab 2 = self."y" = 0
• Class Map at time 32 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 33 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• Variables Map at time 33 = [ entry self: (Python reference 0), [ ] ]

then Return Value at time 34 = Python reference 0

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• stack at time 33 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 10 tab: 0) and control map: [ entry 0: (pair ("class", "Dog")), [ ] ], [ ] ]

then the line at time 34 = 10

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• stack at time 33 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 10 tab: 0) and control map: [ entry 0: (pair ("class", "Dog")), [ ] ], [ ] ]

then the tab at time 34 = 0

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• stack at time 33 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 10 tab: 0) and control map: [ entry 0: (pair ("class", "Dog")), [ ] ], [ ] ]

then expression state at time 34 = "call_returned"

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• stack at time 33 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 10 tab: 0) and control map: [ entry 0: (pair ("class", "Dog")), [ ] ], [ ] ]

then parent stack at time 34 = [ ]

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• stack at time 33 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 10 tab: 0) and control map: [ entry 0: (pair ("class", "Dog")), [ ] ], [ ] ]

then Variables Map at time 34 = [ ]

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• stack at time 33 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 10 tab: 0) and control map: [ entry 0: (pair ("class", "Dog")), [ ] ], [ ] ]

then arguments stack at time 34 = [ ]

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• stack at time 33 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 10 tab: 0) and control map: [ entry 0: (pair ("class", "Dog")), [ ] ], [ ] ]

then Value Stack at time 34 = [ ]

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• stack at time 33 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 10 tab: 0) and control map: [ entry 0: (pair ("class", "Dog")), [ ] ], [ ] ]

then stack at time 34 = [ ]

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• stack at time 33 = [ program context with variables: [ ] and expression state: (expression state with parent stack: [ ] arguments: [ ] values: [ ] line: 10 tab: 0) and control map: [ entry 0: (pair ("class", "Dog")), [ ] ], [ ] ]

then Control Map at time 34 = [ entry 0: (pair ("class", "Dog")), [ ] ]

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• Python Object Store at time 33 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

then Python Object Store at time 34 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

• the line at time 33 = 5
• the tab at time 33 = 2
• statement at line 5, tab 1 = def move(self):
• Control Map at time 33 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]
• Class Map at time 33 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 34 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

• expression state at time 34 = "call_returned"
• parent stack at time 34 = [ ]

then expression state at time 35 = "end_expr"

• expression state at time 34 = "call_returned"
• the line at time 34 = 10

then the line at time 35 = 10

• expression state at time 34 = "call_returned"
• the tab at time 34 = 0

then the tab at time 35 = 0

• expression state at time 34 = "call_returned"
• Variables Map at time 34 = [ ]

then Variables Map at time 35 = [ ]

• expression state at time 34 = "call_returned"
• Return Value at time 34 = Python reference 0

then Return Value at time 35 = Python reference 0

• expression state at time 34 = "call_returned"
• stack at time 34 = [ ]

then stack at time 35 = [ ]

• expression state at time 34 = "call_returned"
• parent stack at time 34 = [ ]

then parent stack at time 35 = [ ]

• expression state at time 34 = "call_returned"
• arguments stack at time 34 = [ ]

then arguments stack at time 35 = [ ]

• expression state at time 34 = "call_returned"
• Python Object Store at time 34 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

then Python Object Store at time 35 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

• expression state at time 34 = "call_returned"
• Value Stack at time 34 = [ ]

then Value Stack at time 35 = [ ]

• expression state at time 34 = "call_returned"
• Control Map at time 34 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then Control Map at time 35 = [ entry 0: (pair ("class", "Dog")), [ ] ]

• expression state at time 34 = "call_returned"
• Class Map at time 34 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 35 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

• the line at time 35 = 10
• the tab at time 35 = 0
• statement at line 10, tab 0 = joe = Dog()
• expression state at time 35 = "end_expr"
• Variables Map at time 35 = [ ]
• Return Value at time 35 = Python reference 0

then Variables Map at time 36 = [ entry joe: (Python reference 0), [ ] ]

• the line at time 35 = 10
• the tab at time 35 = 0
• statement at line 10, tab 0 = joe = Dog()
• expression state at time 35 = "end_expr"

then the line at time 36 = 11

• the line at time 35 = 10
• the tab at time 35 = 0
• statement at line 10, tab 0 = joe = Dog()
• expression state at time 35 = "end_expr"

then the tab at time 36 = 0

• the line at time 35 = 10
• the tab at time 35 = 0
• statement at line 10, tab 0 = joe = Dog()
• expression state at time 35 = "end_expr"
• Python Object Store at time 35 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

then Python Object Store at time 36 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

• the line at time 35 = 10
• the tab at time 35 = 0
• statement at line 10, tab 0 = joe = Dog()
• stack at time 35 = [ ]
• expression state at time 35 = "end_expr"

then stack at time 36 = [ ]

• the line at time 35 = 10
• the tab at time 35 = 0
• statement at line 10, tab 0 = joe = Dog()
• Control Map at time 35 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then Control Map at time 36 = [ entry 0: (pair ("class", "Dog")), [ ] ]

• the line at time 35 = 10
• the tab at time 35 = 0
• statement at line 10, tab 0 = joe = Dog()
• Class Map at time 35 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 36 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• expression state at time 36 = "not_expr"

then the expression at time 37 = joe.move()

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• expression state at time 36 = "not_expr"

then expression state at time 37 = "begin_expr"

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• expression state at time 36 = "not_expr"

then the line at time 37 = 11

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• expression state at time 36 = "not_expr"

then the tab at time 37 = 0

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• expression state at time 36 = "not_expr"

then Value Stack at time 37 = [ ]

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• expression state at time 36 = "not_expr"

then parent stack at time 37 = [ ]

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• expression state at time 36 = "not_expr"

then arguments stack at time 37 = [ ]

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• expression state at time 36 = "not_expr"
• Python Object Store at time 36 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

then Python Object Store at time 37 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• expression state at time 36 = "not_expr"
• Control Map at time 36 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then Control Map at time 37 = [ entry 0: (pair ("class", "Dog")), [ ] ]

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• expression state at time 36 = "not_expr"
• Variables Map at time 36 = [ entry joe: (Python reference 0), [ ] ]

then Variables Map at time 37 = [ entry joe: (Python reference 0), [ ] ]

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• expression state at time 36 = "not_expr"
• stack at time 36 = [ ]

then stack at time 37 = [ ]

• the line at time 36 = 11
• the tab at time 36 = 0
• statement at line 11, tab 0 = joe.move()
• Class Map at time 36 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 37 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

• expression state at time 37 = "begin_expr"
• the expression at time 37 = joe.move()
• Value Stack at time 37 = [ ]

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

• expression state at time 37 = "begin_expr"
• the expression at time 37 = joe.move()
• parent stack at time 37 = [ ]

then parent stack at time 38 = [ joe.move(), [ ] ]

• expression state at time 37 = "begin_expr"
• the expression at time 37 = joe.move()
• arguments stack at time 37 = [ ]

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

• expression state at time 37 = "begin_expr"
• the expression at time 37 = joe.move()

then expression state at time 38 = "iterate_args"

• expression state at time 37 = "begin_expr"
• the expression at time 37 = joe.move()

then the expression at time 38 = joe.move()

• expression state at time 37 = "begin_expr"
• Variables Map at time 37 = [ entry joe: (Python reference 0), [ ] ]

then Variables Map at time 38 = [ entry joe: (Python reference 0), [ ] ]

• expression state at time 37 = "begin_expr"
• the line at time 37 = 11

then the line at time 38 = 11

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

then the tab at time 38 = 0

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

then stack at time 38 = [ ]

• expression state at time 37 = "begin_expr"
• Python Object Store at time 37 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

then Python Object Store at time 38 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

• expression state at time 37 = "begin_expr"
• Control Map at time 37 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then Control Map at time 38 = [ entry 0: (pair ("class", "Dog")), [ ] ]

• expression state at time 37 = "begin_expr"
• Class Map at time 37 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

then Class Map at time 38 = [ entry "Animal": [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ], [ entry "Dog": [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ], [ ] ] ]

• expression state at time 38 = "iterate_args"
• arguments stack at time 38 = [ [ ], [ ] ]
• parent stack at time 38 = [ joe.move(), [ ] ]

then expression state at time 39 = "call_function_begin"

• expression state at time 38 = "iterate_args"
• arguments stack at time 38 = [ [ ], [ ] ]
• parent stack at time 38 = [ joe.move(), [ ] ]

then the expression at time 39 = joe.move()

• expression state at time 38 = "iterate_args"
• arguments stack at time 38 = [ [ ], [ ] ]
• parent stack at time 38 = [ joe.move(), [ ] ]

then parent stack at time 39 = [ ]

• expression state at time 38 = "iterate_args"
• arguments stack at time 38 = [ [ ], [ ] ]
• parent stack at time 38 = [ joe.move(), [ ] ]

then arguments stack at time 39 = [ ]

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

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

• expression state at time 38 = "iterate_args"
• the line at time 38 = 11

then the line at time 39 = 11

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

then the tab at time 39 = 0

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

then stack at time 39 = [ ]

• expression state at time 38 = "iterate_args"
• Python Object Store at time 38 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]

then Python Object Store at time 39 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ entry "y": 0, [ ] ] ] ], [ ] ]