(C::EXEC-EXPR-WHEN-CALL-VALUE-OPEN
 (14 2 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (11 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (8 4 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (8 2 (:REWRITE C::EXPR-LIST-PUREP-WHEN-NOT-CONSP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::EXPR-CALL->ARGS$INLINE))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (4 1 (:REWRITE C::VALUE-LISTP-WHEN-NOT-CONSP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION MEMBER-EQUAL))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 2 (:REWRITE-QUOTED-CONSTANT C::OBJDESIGN-OPTION-FIX-UNDER-OBJDESIGN-OPTION-EQUIV))
 (2 2 (:REWRITE C::VALUE-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (1 1 (:REWRITE SUBSETP-MEMBER . 2))
 (1 1 (:REWRITE SUBSETP-MEMBER . 1))
 )
(C::EXEC-EXPR-WHEN-CALL-NOVALUE-OPEN
 (8 2 (:REWRITE C::EXPR-LIST-PUREP-WHEN-NOT-CONSP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::EXPR-CALL->ARGS$INLINE))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (4 1 (:REWRITE C::VALUE-LISTP-WHEN-NOT-CONSP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 2 (:REWRITE C::VALUE-LISTP-WHEN-SUBSETP-EQUAL))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
