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