(C$::COMPILE-RUN-READ-IENV-C)
(C$::MAYBE-MSGP-OF-COMPILE-RUN-READ-IENV-C.ER?
 (16 16 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 )
(C$::STRING-LISTP-OF-COMPILE-RUN-READ-IENV-C.LINES)
(C$::IENV-C-OUT-TO-IENV
 (2270 2270 (:REWRITE LEN-WHEN-NOT-CONSP-CHEAP))
 (438 438 (:REWRITE FOLD-CONSTS-IN-+))
 )
(C$::MAYBE-MSGP-OF-IENV-C-OUT-TO-IENV.ER?
 (34 34 (:REWRITE LEN-WHEN-NOT-CONSP-CHEAP))
 (33 33 (:LINEAR LEN-POSITIVE-WHEN-CONSP-LINEAR-CHEAP))
 (6 6 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 )
(C$::IENVP-OF-IENV-C-OUT-TO-IENV.IENV
 (4 4 (:REWRITE LEN-WHEN-NOT-CONSP-CHEAP))
 (3 3 (:LINEAR LEN-POSITIVE-WHEN-CONSP-LINEAR-CHEAP))
 )
(C$::INFER-IENV-PROG)
(C$::MAYBE-MSGP-OF-INFER-IENV-PROG.ER?
 (5 1 (:REWRITE MAYBE-MSGP-WHEN-MSGP))
 (2 2 (:TYPE-PRESCRIPTION MSGP))
 (2 2 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 )
(C$::IENVP-OF-INFER-IENV-PROG.IENV)
(C$::INFER-IENV-PROCESS-INPUTS-AND-GEN-EVENT)
(C$::MAYBE-MSGP-OF-INFER-IENV-PROCESS-INPUTS-AND-GEN-EVENT.ER?
 (12 12 (:REWRITE MSGP-WHEN-MEMBER-EQUAL-OF-MSG-LISTP))
 )
(C$::PSEUDO-EVENT-FORMP-OF-INFER-IENV-PROCESS-INPUTS-AND-GEN-EVENT.EVENT)
(C$::INFER-IENV-FN)
(C$::PSEUDO-EVENT-FORMP-OF-INFER-IENV-FN.EVENT)
