(C::EXEC-EXPR-WHEN-PURE
 (11 2 (:REWRITE C::EXPR-VALUEP-WHEN-EXPR-VALUE-OPTIONP))
 (8 2 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (8 1 (:REWRITE C::EXPR-VALUE-OPTIONP-WHEN-EXPR-VALUEP))
 (5 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (3 3 (:TYPE-PRESCRIPTION C::EXPR-VALUE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 )
