Definition: *atc-update-var-rules*
(defconst *atc-update-var-rules* '(update-var-of-add-frame update-var-of-enter-scope update-var-of-add-var update-var-of-update-var-same update-var-of-update-var-less update-var-of-read-var-same))