if statement at line 6, tab 2 = `self.x = self.x + 5`, then statement at line 6, tab 2 = self."x" = `add(self.x, 5)`

View as a table | Try proving it

Start from the conclusion and work back up the proof. Click the arrow to show the parents.