List of compound recognizer rules for the proofs generated by ATC.
These should be probably re-organized by their purpose rather than by their kind (i.e. executable counterparts).
The type prescription rules in *atc-type-prescription-rules*
cover all the shallowly embedded C expressions except for variables.
In the scenarios explained in *atc-type-prescription-rules*,
we may need to establish that a variable is not
Definition:
(defconst *atc-compound-recognizer-rules* '(consp-when-scharp consp-when-ucharp consp-when-sshortp consp-when-ushortp consp-when-sintp consp-when-uintp consp-when-slongp consp-when-ulongp consp-when-sllongp consp-when-ullongp))