List of other executable counterpart 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).
Definition:
(defconst *atc-other-executable-counterpart-rules* '((:e booleanp) (:e len) (:e natp) (:e omap::assoc) (:e scope-list-fix) (:e scope-listp) (:e scopep) (:e tyname) (:e obj-adeclor-none) (:e valuep) (:e value-list-fix) (:e zp) (:e <<)))