Proofs

if the following are true:

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

then the tab at time 15 = 0

if the following are true:

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

then stack at time 15 = [ ]

if the following are true:

• expression state at time 14 = "call_function_begin"
• Class Map at time 14 = [ 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 15 = [ 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, [ ] ] ] ], [ ] ] ]

length of stack [ ] = 0

result of storing (Python reference 0) at key: self in map: [ ] = [ entry self: (Python reference 0), [ ] ]

if the following are true:

• expression state at time 15 = "call_build_args"
• the expression at time 15 = Dog()
• Function Variables Map at time 15 = [ ]
• Parameters List at time 15 = [ self, [ ] ]
• Python Object Store at time 15 = [ ]

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

if the following are true:

• expression state at time 15 = "call_build_args"
• the expression at time 15 = Dog()
• Function Variables Map at time 15 = [ ]
• Parameters List at time 15 = [ self, [ ] ]

then Parameters List at time 16 = [ ]

if the following are true:

• expression state at time 15 = "call_build_args"
• the expression at time 15 = Dog()
• Function Variables Map at time 15 = [ ]
• Parameters List at time 15 = [ self, [ ] ]
• Argument Values at time 15 = [ ]

then Argument Values at time 16 = [ ]

reverse of [ ] = [ ]

reverse of [ Python object: [ entry "__class_name__": "Dog", [ ] ], [ ] ] = [ Python object: [ entry "__class_name__": "Dog", [ ] ], [ ] ]

result of appending (Python object: [ entry "__class_name__": "Dog", [ ] ]) to [ ] = [ Python object: [ entry "__class_name__": "Dog", [ ] ], [ ] ]

if the following are true:

• expression state at time 15 = "call_build_args"
• the expression at time 15 = Dog()
• Function Variables Map at time 15 = [ ]
• Parameters List at time 15 = [ self, [ ] ]
• Python Object Store at time 15 = [ ]

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

if the following are true:

• expression state at time 15 = "call_build_args"
• the expression at time 15 = Dog()
• Function Variables Map at time 15 = [ ]
• Parameters List at time 15 = [ self, [ ] ]

then expression state at time 16 = "call_build_args"

if the following are true:

• expression state at time 15 = "call_build_args"
• the expression at time 15 = Dog()
• Function Variables Map at time 15 = [ ]
• Parameters List at time 15 = [ self, [ ] ]
• Variables Map at time 15 = [ ]

then Variables Map at time 16 = [ ]

if the following are true:

• expression state at time 15 = "call_build_args"
• the expression at time 15 = Dog()
• Function Variables Map at time 15 = [ ]
• Parameters List at time 15 = [ self, [ ] ]
• stack at time 15 = [ ]

then stack at time 16 = [ ]

if the following are true:

• expression state at time 15 = "call_build_args"
• the expression at time 15 = Dog()
• Function Variables Map at time 15 = [ ]
• Parameters List at time 15 = [ self, [ ] ]
• Control Map at time 15 = [ entry 0: (pair ("class", "Dog")), [ ] ]

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

if the following are true:

• expression state at time 15 = "call_build_args"
• Parameters List at time 15 = [ self, [ ] ]
• the line at time 15 = 10

then the line at time 16 = 10

if the following are true:

• expression state at time 15 = "call_build_args"
• Parameters List at time 15 = [ self, [ ] ]
• the tab at time 15 = 0

then the tab at time 16 = 0

if the following are true:

• expression state at time 15 = "call_build_args"
• Value Stack at time 15 = [ ]

then Value Stack at time 16 = [ ]

if the following are true:

• expression state at time 15 = "call_build_args"
• arguments stack at time 15 = [ ]

then arguments stack at time 16 = [ ]

if the following are true:

• expression state at time 15 = "call_build_args"
• parent stack at time 15 = [ ]

then parent stack at time 16 = [ ]

if the following are true:

• expression state at time 15 = "call_build_args"
• the expression at time 15 = Dog()

then the expression at time 16 = Dog()

if the following are true:

• expression state at time 15 = "call_build_args"
• Class Map at time 15 = [ 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 16 = [ 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, [ ] ] ] ], [ ] ] ]

if the following are true:

• expression state at time 16 = "call_build_args"
• Parameters List at time 16 = [ ]
• stack at time 16 = [ ]
• Variables Map at time 16 = [ ]
• parent stack at time 16 = [ ]
• arguments stack at time 16 = [ ]
• Value Stack at time 16 = [ ]
• the line at time 16 = 10
• the tab at time 16 = 0
• Control Map at time 16 = [ entry 0: (pair ("class", "Dog")), [ ] ]

then stack at time 17 = [ 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")), [ ] ], [ ] ]

if the following are true:

• expression state at time 16 = "call_build_args"
• Parameters List at time 16 = [ ]
• Function Variables Map at time 16 = [ entry self: (Python reference 0), [ ] ]

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

value at "Animal" in map [ 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, [ ] ] ] ], [ ] ] ] = [ entry "bases": [ ], [ entry "methods": [ entry "__init__": [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ], [ entry "move": [ entry "params": [ self, [ ] ], [ entry "line": 5, [ ] ] ], [ ] ] ], [ entry "line": 1, [ ] ] ] ]

value at "methods" in map [ entry "bases": [ "Animal", [ ] ], [ entry "methods": [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ], [ entry "line": 7, [ ] ] ] ] = [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ]

value at "__init__" in map [ entry "jump": [ entry "params": [ self, [ ] ], [ entry "line": 8, [ ] ] ], [ ] ] = value at "__init__" in map [ ]

value at "line" in map [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ] = 2

definition of method "__init__" of class "Animal" in [ 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, [ ] ] ] ], [ ] ] ] = [ entry "params": [ self, [ ] ], [ entry "line": 2, [ ] ] ]

if Class Map at time 16 = [ 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 line number of method "__init__" of class "Dog" in (Class Map at time 16) = 2

if the following are true:

• expression state at time 16 = "call_build_args"
• Parameters List at time 16 = [ ]
• the expression at time 16 = Dog()
• line number of method "__init__" of class "Dog" in (Class Map at time 16) = 2

then the line at time 17 = 3

if the following are true:

• expression state at time 16 = "call_build_args"
• Parameters List at time 16 = [ ]
• the expression at time 16 = Dog()
• line number of method "__init__" of class "Dog" in (Class Map at time 16) = 2

then the tab at time 17 = 2

if the following are true:

• expression state at time 16 = "call_build_args"
• Parameters List at time 16 = [ ]

then expression state at time 17 = "not_expr"

if the following are true:

• expression state at time 16 = "call_build_args"
• Parameters List at time 16 = [ ]
• Python Object Store at time 16 = [ Python object: [ entry "__class_name__": "Dog", [ ] ], [ ] ]

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

if the following are true:

• expression state at time 16 = "call_build_args"
• Parameters List at time 16 = [ ]
• the expression at time 16 = Dog()
• line number of method "__init__" of class "Dog" in (Class Map at time 16) = 2

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

if the following are true:

• expression state at time 16 = "call_build_args"
• Class Map at time 16 = [ 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 17 = [ 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, [ ] ] ] ], [ ] ] ]

if statement at line 3, tab 2 = self.x = 0, then statement at line 3, tab 2 = self."x" = 0

if the following are true:

• the line at time 17 = 3
• the tab at time 17 = 2
• statement at line 3, tab 2 = self."x" = 0
• expression state at time 17 = "not_expr"

then the expression at time 18 = self."x" = 0

if the following are true:

• the line at time 17 = 3
• the tab at time 17 = 2
• statement at line 3, tab 2 = self."x" = 0
• expression state at time 17 = "not_expr"

then expression state at time 18 = "begin_expr"

if the following are true:

• the line at time 17 = 3
• the tab at time 17 = 2
• statement at line 3, tab 2 = self."x" = 0
• expression state at time 17 = "not_expr"

then the line at time 18 = 3

if the following are true:

• the line at time 17 = 3
• the tab at time 17 = 2
• statement at line 3, tab 2 = self."x" = 0
• expression state at time 17 = "not_expr"

then the tab at time 18 = 2

if the following are true:

• the line at time 17 = 3
• the tab at time 17 = 2
• statement at line 3, tab 2 = self."x" = 0
• expression state at time 17 = "not_expr"

then Value Stack at time 18 = [ ]

if the following are true:

• the line at time 17 = 3
• the tab at time 17 = 2
• statement at line 3, tab 2 = self."x" = 0
• expression state at time 17 = "not_expr"

then parent stack at time 18 = [ ]

if the following are true:

• the line at time 17 = 3
• the tab at time 17 = 2
• statement at line 3, tab 2 = self."x" = 0
• expression state at time 17 = "not_expr"

then arguments stack at time 18 = [ ]

if the following are true:

• the line at time 17 = 3
• the tab at time 17 = 2
• statement at line 3, tab 2 = self."x" = 0
• expression state at time 17 = "not_expr"
• Python Object Store at time 17 = [ Python object: [ entry "__class_name__": "Dog", [ ] ], [ ] ]

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

if the following are true:

• the line at time 17 = 3
• the tab at time 17 = 2
• statement at line 3, tab 2 = self."x" = 0
• expression state at time 17 = "not_expr"
• Control Map at time 17 = [ entry 0: (pair ("class", "Dog")), [ entry 1: (pair ("method", "__init__")), [ ] ] ]

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

if the following are true:

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

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

if the following are true:

• the line at time 17 = 3
• the tab at time 17 = 2
• statement at line 3, tab 2 = self."x" = 0
• stack at time 17 = [ 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 18 = [ 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")), [ ] ], [ ] ]

if the following are true:

• the line at time 17 = 3
• the tab at time 17 = 2
• statement at line 3, tab 2 = self."x" = 0
• Class Map at time 17 = [ 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 18 = [ 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, [ ] ] ] ], [ ] ] ]

if the following are true:

• expression state at time 18 = "begin_expr"
• the expression at time 18 = self."x" = 0
• Value Stack at time 18 = [ ]

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

if the following are true:

• expression state at time 18 = "begin_expr"
• the expression at time 18 = self."x" = 0
• parent stack at time 18 = [ ]

then parent stack at time 19 = [ self."x" = 0, [ ] ]

if the following are true:

• expression state at time 18 = "begin_expr"
• the expression at time 18 = self."x" = 0
• arguments stack at time 18 = [ ]

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

if the following are true:

• expression state at time 18 = "begin_expr"
• the expression at time 18 = self."x" = 0

then expression state at time 19 = "iterate_args"

if the following are true:

• expression state at time 18 = "begin_expr"
• the expression at time 18 = self."x" = 0

then the expression at time 19 = self."x" = 0

if the following are true:

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

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

if the following are true:

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

then the line at time 19 = 3

if the following are true:

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

then the tab at time 19 = 2

if the following are true:

• expression state at time 18 = "begin_expr"
• stack at time 18 = [ 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 19 = [ 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")), [ ] ], [ ] ]

if the following are true:

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

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

if the following are true:

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

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

if the following are true:

• expression state at time 18 = "begin_expr"
• Class Map at time 18 = [ 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 19 = [ 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, [ ] ] ] ], [ ] ] ]

if the following are true:

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

then the expression at time 20 = 0

if the following are true:

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

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

if the following are true:

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

then expression state at time 20 = "begin_expr"

if the following are true:

• expression state at time 19 = "iterate_args"
• arguments stack at time 19 = [ [ 0, [ ] ], [ ] ]
• parent stack at time 19 = [ self."x" = 0, [ ] ]

then parent stack at time 20 = [ self."x" = 0, [ ] ]

if the following are true:

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

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

if the following are true:

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

then the line at time 20 = 3

if the following are true:

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

then the tab at time 20 = 2

if the following are true:

• expression state at time 19 = "iterate_args"
• stack at time 19 = [ 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 20 = [ 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")), [ ] ], [ ] ]

if the following are true:

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

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

if the following are true:

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

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

if the following are true:

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

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

if the following are true:

• expression state at time 19 = "iterate_args"
• Class Map at time 19 = [ 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 20 = [ 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, [ ] ] ] ], [ ] ] ]

if the following are true:

• the expression at time 20 = 0
• expression state at time 20 = "begin_expr"
• 0 is constant
• parent stack at time 20 = [ self."x" = 0, [ ] ]

then expression state at time 21 = "return"

if the following are true:

• the expression at time 20 = 0
• expression state at time 20 = "begin_expr"
• 0 is constant
• Value Stack at time 20 = [ [ ], [ ] ]

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

if the following are true:

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

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

if the following are true:

• expression state at time 20 = "begin_expr"
• the expression at time 20 = 0
• 0 is constant

then Return Value at time 21 = 0

if the following are true:

• expression state at time 20 = "begin_expr"
• the expression at time 20 = 0
• 0 is constant
• parent stack at time 20 = [ self."x" = 0, [ ] ]

then parent stack at time 21 = [ self."x" = 0, [ ] ]

if the following are true:

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

then the line at time 21 = 3

if the following are true:

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

then the tab at time 21 = 2

if the following are true:

• expression state at time 20 = "begin_expr"
• stack at time 20 = [ 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 21 = [ 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")), [ ] ], [ ] ]

if the following are true:

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

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

if the following are true:

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

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

if the following are true:

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

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

if the following are true:

• expression state at time 20 = "begin_expr"
• Class Map at time 20 = [ 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 21 = [ 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, [ ] ] ] ], [ ] ] ]

if expression state at time 21 = "return", then expression state at time 22 = "iterate_args"

if the following are true:

• expression state at time 21 = "return"
• Value Stack at time 21 = [ [ ], [ ] ]
• Return Value at time 21 = 0

then Value Stack at time 22 = [ [ 0, [ ] ], [ ] ]

if the following are true:

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

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

if the following are true:

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

then the line at time 22 = 3

if the following are true:

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

then the tab at time 22 = 2

if the following are true:

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

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

if the following are true:

• expression state at time 21 = "return"
• parent stack at time 21 = [ self."x" = 0, [ ] ]

then parent stack at time 22 = [ self."x" = 0, [ ] ]

if the following are true:

• expression state at time 21 = "return"
• stack at time 21 = [ 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 22 = [ 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")), [ ] ], [ ] ]

if the following are true:

• expression state at time 21 = "return"
• Class Map at time 21 = [ 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 22 = [ 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, [ ] ] ] ], [ ] ] ]

if the following are true:

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

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

if the following are true:

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

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

if the following are true:

• expression state at time 22 = "iterate_args"
• arguments stack at time 22 = [ [ ], [ ] ]
• parent stack at time 22 = [ self."x" = 0, [ ] ]

then expression state at time 23 = "call_function_begin"

if the following are true:

• expression state at time 22 = "iterate_args"
• arguments stack at time 22 = [ [ ], [ ] ]
• parent stack at time 22 = [ self."x" = 0, [ ] ]

then the expression at time 23 = self."x" = 0

if the following are true:

• expression state at time 22 = "iterate_args"
• arguments stack at time 22 = [ [ ], [ ] ]
• parent stack at time 22 = [ self."x" = 0, [ ] ]

then parent stack at time 23 = [ ]