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