Proofs

A proof is a series of claims that lead to a conclusion. Some proofs are conditional, which means that the claims can only be made under certain conditions. Click on a statement to see the proof

Get Iterate End Params 22

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 arguments stack at time 23 = [ ]

Do Value Stack At Unchanged 22

if the following are true:

expression state at time 22 = "iterate_args"
Value Stack at time 22 = [ [ 0, [ ] ], [ ] ]

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

Do Line At Unchanged 22

if the following are true:

expression state at time 22 = "iterate_args"
the line at time 22 = 3

then the line at time 23 = 3

Do Tab At Unchanged 22

if the following are true:

expression state at time 22 = "iterate_args"
the tab at time 22 = 2

then the tab at time 23 = 2

Do Stack At Unchanged 22

if the following are true:

expression state at time 22 = "iterate_args"
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")), [ ] ], [ ] ]

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

Do Object Store At Unchanged 22

if the following are true:

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

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

Do Control Map At Unchanged 22

if the following are true:

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

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

Do Variables At Unchanged 22

if the following are true:

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

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

Do Class Defs At Unchanged 22

if the following are true:

expression state at time 22 = "iterate_args"
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, [ ] ] ] ], [ ] ] ]

then Class Map at time 23 = [ 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, [ ] ] ] ], [ ] ] ]

Do Pre Extend 23 0

reverse and insert [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ] to the beginning of [ ] = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ]

Do Set Elements At 23 0

result of storing (Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ]) at index 0 of stack [ Python object: [ entry "__class_name__": "Dog", [ ] ], [ ] ] = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ]

Do Get Key Value 23 0

value at self in map [ entry self: (Python reference 0), [ ] ] = Python reference 0

Do Set Key Value 23 0

result of storing 0 at key: "x" in map: [ entry "__class_name__": "Dog", [ ] ] = [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ]

Write Call Function Begin Set Attribute Element At 23

if Python Object Store at time 23 = [ Python object: [ entry "__class_name__": "Dog", [ ] ], [ ] ], then the element at index 0 of stack (Python Object Store at time 23) = Python object: [ entry "__class_name__": "Dog", [ ] ]

Get Key Value Variables At 23

if Variables Map at time 23 = [ entry self: (Python reference 0), [ ] ], then value at self in map (Variables Map at time 23) = Python reference 0

Write Call Function Begin Set Attribute 23

if the following are true:

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

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

Write Call Function Begin Next State 23

if the following are true:

expression state at time 23 = "call_function_begin"
parent stack at time 23 = [ ]
the expression at time 23 = self."x" = 0

then expression state at time 24 = "end_expr"

Write Call Function Begin Value Stack 23

if the following are true:

expression state at time 23 = "call_function_begin"
Value Stack at time 23 = [ [ 0, [ ] ], [ ] ]
the expression at time 23 = self."x" = 0

then Value Stack at time 24 = [ ]

Do Arg Stack At Unchanged 23

if the following are true:

expression state at time 23 = "call_function_begin"
arguments stack at time 23 = [ ]

then arguments stack at time 24 = [ ]

Do Parent Stack At Unchanged 23

if the following are true:

expression state at time 23 = "call_function_begin"
parent stack at time 23 = [ ]

then parent stack at time 24 = [ ]

Do Control Map At Unchanged 23

if the following are true:

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

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

Do Variables At Unchanged 23

if the following are true:

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

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

Do Line At Unchanged 23

if the following are true:

expression state at time 23 = "call_function_begin"
the line at time 23 = 3

then the line at time 24 = 3

Do Tab At Unchanged 23

if the following are true:

expression state at time 23 = "call_function_begin"
the tab at time 23 = 2

then the tab at time 24 = 2

Do Stack At Unchanged 23

if the following are true:

expression state at time 23 = "call_function_begin"
stack at time 23 = [ 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 24 = [ 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")), [ ] ], [ ] ]

Do Class Defs At Unchanged 23

if the following are true:

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

Write Set Attribute End Line 24

if the following are true:

the line at time 24 = 3
the tab at time 24 = 2
statement at line 3, tab 2 = self."x" = 0
expression state at time 24 = "end_expr"

then the line at time 25 = 4

Write Stmt Tab Unchanged Expr24

if the following are true:

the line at time 24 = 3
the tab at time 24 = 2
statement at line 3, tab 2 = self."x" = 0
expression state at time 24 = "end_expr"

then the tab at time 25 = 2

Write Stmt Object Store At Unchanged Expr24

if the following are true:

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

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

Write Stmt Control Map At Unchanged Expr24

if the following are true:

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

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

Write Stmt Variables At Unchanged 24

if the following are true:

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

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

Write Stmt Stack At Unchanged 24

if the following are true:

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

Write Stmt Class Defs At Unchanged 24

if the following are true:

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

Write End to Not Expr 24

if expression state at time 24 = "end_expr", then expression state at time 25 = "not_expr"

Do Convert Stmt 25

if statement at line 4, tab 2 = self.y = 0, then statement at line 4, tab 2 = self."y" = 0

Write Set Name Expr At on State 25

if the following are true:

the line at time 25 = 4
the tab at time 25 = 2
statement at line 4, tab 2 = self."y" = 0
expression state at time 25 = "not_expr"

then the expression at time 26 = self."y" = 0

Write Set Name Expr State At on State 25

if the following are true:

the line at time 25 = 4
the tab at time 25 = 2
statement at line 4, tab 2 = self."y" = 0
expression state at time 25 = "not_expr"

then expression state at time 26 = "begin_expr"

Write Set Name Line At on State 25

if the following are true:

the line at time 25 = 4
the tab at time 25 = 2
statement at line 4, tab 2 = self."y" = 0
expression state at time 25 = "not_expr"

then the line at time 26 = 4

Write Set Name Tab At on State 25

if the following are true:

the line at time 25 = 4
the tab at time 25 = 2
statement at line 4, tab 2 = self."y" = 0
expression state at time 25 = "not_expr"

then the tab at time 26 = 2

Write Set Name Value Stack At on State 25

if the following are true:

the line at time 25 = 4
the tab at time 25 = 2
statement at line 4, tab 2 = self."y" = 0
expression state at time 25 = "not_expr"

then Value Stack at time 26 = [ ]

Write Set Name Parent Stack At on State 25

if the following are true:

the line at time 25 = 4
the tab at time 25 = 2
statement at line 4, tab 2 = self."y" = 0
expression state at time 25 = "not_expr"

then parent stack at time 26 = [ ]

Write Set Name Arg Stack At on State 25

if the following are true:

the line at time 25 = 4
the tab at time 25 = 2
statement at line 4, tab 2 = self."y" = 0
expression state at time 25 = "not_expr"

then arguments stack at time 26 = [ ]

Write Stmt Object Store At Unchanged Expr25

if the following are true:

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

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

Write Stmt Control Map At Unchanged Expr25

if the following are true:

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

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

Write Stmt Variables At Unchanged 25

if the following are true:

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

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

Write Stmt Stack At Unchanged 25

if the following are true:

the line at time 25 = 4
the tab at time 25 = 2
statement at line 4, tab 2 = self."y" = 0
stack at time 25 = [ 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 26 = [ 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")), [ ] ], [ ] ]

Write Stmt Class Defs At Unchanged 25

if the following are true:

the line at time 25 = 4
the tab at time 25 = 2
statement at line 4, tab 2 = self."y" = 0
Class Map at time 25 = [ 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 26 = [ 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, [ ] ] ] ], [ ] ] ]

Get Begin Expr Value 26

if the following are true:

expression state at time 26 = "begin_expr"
the expression at time 26 = self."y" = 0
Value Stack at time 26 = [ ]

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

Get Begin Expr Parent 26

if the following are true:

expression state at time 26 = "begin_expr"
the expression at time 26 = self."y" = 0
parent stack at time 26 = [ ]

then parent stack at time 27 = [ self."y" = 0, [ ] ]

Get Begin Expr Params 26

if the following are true:

expression state at time 26 = "begin_expr"
the expression at time 26 = self."y" = 0
arguments stack at time 26 = [ ]

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

Get Begin Expr Call State 26

if the following are true:

expression state at time 26 = "begin_expr"
the expression at time 26 = self."y" = 0

then expression state at time 27 = "iterate_args"

Do Expr At Unchanged 26

if the following are true:

expression state at time 26 = "begin_expr"
the expression at time 26 = self."y" = 0

then the expression at time 27 = self."y" = 0

Do Variables At Unchanged 26

if the following are true:

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

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

Do Line At Unchanged 26

if the following are true:

expression state at time 26 = "begin_expr"
the line at time 26 = 4

then the line at time 27 = 4

Do Tab At Unchanged 26

if the following are true:

expression state at time 26 = "begin_expr"
the tab at time 26 = 2

then the tab at time 27 = 2

Do Stack At Unchanged 26

if the following are true:

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

Do Object Store At Unchanged 26

if the following are true:

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

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

Do Control Map At Unchanged 26

if the following are true:

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

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

Do Class Defs At Unchanged 26

if the following are true:

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

Get Iterate Expr 27

if the following are true:

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

then the expression at time 28 = 0

Get Iterate Params 27

if the following are true:

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

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

Get Iterate State 27

if the following are true:

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

then expression state at time 28 = "begin_expr"

Get Iterate Parent 27

if the following are true:

expression state at time 27 = "iterate_args"
arguments stack at time 27 = [ [ 0, [ ] ], [ ] ]
parent stack at time 27 = [ self."y" = 0, [ ] ]

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

Do Value Stack At Unchanged 27

if the following are true:

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

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

Do Line At Unchanged 27

if the following are true:

expression state at time 27 = "iterate_args"
the line at time 27 = 4

then the line at time 28 = 4

Do Tab At Unchanged 27

if the following are true:

expression state at time 27 = "iterate_args"
the tab at time 27 = 2

then the tab at time 28 = 2

Do Stack At Unchanged 27

if the following are true:

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

Do Object Store At Unchanged 27

if the following are true:

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

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

Do Control Map At Unchanged 27

if the following are true:

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

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

Do Variables At Unchanged 27

if the following are true:

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

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

Do Class Defs At Unchanged 27

if the following are true:

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

Get Begin Expr State 28

if the following are true:

the expression at time 28 = 0
expression state at time 28 = "begin_expr"
0 is constant
parent stack at time 28 = [ self."y" = 0, [ ] ]

then expression state at time 29 = "return"

Get Begin Expr Value Unchaged 28

if the following are true:

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

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

Get Begin Expr Params Unchanged28

if the following are true:

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

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

Get Begin Expr Return 28

if the following are true:

expression state at time 28 = "begin_expr"
the expression at time 28 = 0
0 is constant

then Return Value at time 29 = 0

Get Begin Expr Const Parent 28

if the following are true:

expression state at time 28 = "begin_expr"
the expression at time 28 = 0
0 is constant
parent stack at time 28 = [ self."y" = 0, [ ] ]

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

Do Line At Unchanged 28

if the following are true:

expression state at time 28 = "begin_expr"
the line at time 28 = 4

then the line at time 29 = 4

Do Tab At Unchanged 28

if the following are true:

expression state at time 28 = "begin_expr"
the tab at time 28 = 2

then the tab at time 29 = 2

Do Stack At Unchanged 28

if the following are true:

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

Do Object Store At Unchanged 28

if the following are true:

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

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

Do Control Map At Unchanged 28

if the following are true:

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

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

Do Variables At Unchanged 28

if the following are true:

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

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

Do Class Defs At Unchanged 28

if the following are true:

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

Get New State 29

if expression state at time 29 = "return", then expression state at time 30 = "iterate_args"

Get Return Value 29

if the following are true:

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

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

Do Variables At Unchanged 29

if the following are true:

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

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

Do Line At Unchanged 29

if the following are true:

expression state at time 29 = "return"
the line at time 29 = 4

then the line at time 30 = 4

Do Tab At Unchanged 29

if the following are true:

expression state at time 29 = "return"
the tab at time 29 = 2

then the tab at time 30 = 2

Do Arg Stack At Unchanged 29

if the following are true:

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

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

Do Parent Stack At Unchanged 29

if the following are true:

expression state at time 29 = "return"
parent stack at time 29 = [ self."y" = 0, [ ] ]

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

Do Stack At Unchanged 29

if the following are true:

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

Do Class Defs At Unchanged 29

if the following are true:

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

Do Object Store At Unchanged 29

if the following are true:

expression state at time 29 = "return"
Python Object Store at time 29 = [ Python object: [ entry "__class_name__": "Dog", [ entry "x": 0, [ ] ] ], [ ] ]

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

Do Control Map At Unchanged 29

if the following are true:

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