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