List of rules for symbolic computation states.
Definition:
(defconst *atc-symbolic-computation-state-rules* (append *atc-push-frame-rules* *atc-pop-frame-rules* *atc-exit-scope-rules* *atc-create-var-rules* *atc-write-var-rules* *atc-read-var-rules* *atc-write-static-var-rules* *atc-read-static-var-rules* *atc-update-var-rules* *atc-write-object-rules* *atc-read-object-rules* *atc-update-object-rules* *atc-update-static-var-rules* *atc-var-autop-rules* *atc-compustate-frames-number-rules*))