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