Definition:
(defconst *atc-read-object-rules* '(read-object-of-add-frame read-object-of-enter-scope read-object-of-add-var read-object-of-update-var read-object-of-update-object-same read-object-of-update-object-disjoint read-object-of-objdesign-static pointer-valid->get-of-pointer-valid object-disjointp-commutative))