Definition:
(defconst *atc-read-var-rules* '(read-var-of-add-frame read-var-of-enter-scope read-var-of-add-var read-var-of-update-var read-var-of-update-static-var-different read-var-of-update-static-var-same read-var-of-update-object read-var-to-read-static-var))