Transition rules get read-only and variables error

Example: