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