Definition:
(defconst *atc-computation-state-return-rules* '(compustatep-of-add-frame compustatep-of-enter-scope compustatep-of-add-var compustatep-of-update-var compustatep-of-update-static-var compustatep-of-update-object compustatep-when-compustate-resultp-and-not-errorp compustate-resultp-of-write-var heapp-of-compustate->heap scopep-of-update))