Local rules and variable changes
When there is a transition to a state, any 'variable' changes expressions in local rules are initially false. Any changes made in previous states do not affect any changes expressions in the new state. For a changes expression to become true, the specified change must occur in the state to which the rule, which specifies the changes expression, applies.