(C::COMPUSTATE-HAS-VAR-WITH-TYPE-P
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::BOOLEANP-OF-COMPUSTATE-HAS-VAR-WITH-TYPE-P)
(C::NOT-ERRORP-WHEN-COMPUSTATE-HAS-VAR-WITH-TYPE-P
 (12 12 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (10 1 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (6 1 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::TYPEP))
 (2 2 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (2 1 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (1 1 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (1 1 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 )
(C::TYPE-OF-VALUE-WHEN-COMPUSTATE-HAS-VAR-WITH-TYPE-P)
(C::COMPUSTATE-HAS-VAR-WITH-TYPE-P-OF-CREATE-OTHER-VAR
 (48 48 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (40 4 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (24 4 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (12 12 (:TYPE-PRESCRIPTION C::TYPEP))
 (8 8 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (8 4 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (4 4 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (4 4 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (3 3 (:REWRITE SUBSETP-MEMBER . 4))
 (3 3 (:REWRITE SUBSETP-MEMBER . 3))
 (3 3 (:REWRITE SUBSETP-MEMBER . 2))
 (3 3 (:REWRITE SUBSETP-MEMBER . 1))
 (3 3 (:REWRITE INTERSECTP-MEMBER . 3))
 (3 3 (:REWRITE INTERSECTP-MEMBER . 2))
 )
(C::COMPUSTATE-HAS-VAR-WITH-TYPE-P-OF-CREATE-SAME-VAR
 (16 3 (:REWRITE MEMBER-OF-CONS))
 (12 12 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (6 6 (:TYPE-PRESCRIPTION C::OBJDESIGN-KIND$INLINE))
 (6 2 (:REWRITE C::REMOVE-FLEXIBLE-ARRAY-MEMBER-WHEN-ABSENT))
 (4 4 (:TYPE-PRESCRIPTION C::FLEXIBLE-ARRAY-MEMBER-P))
 (4 4 (:REWRITE SUBSETP-MEMBER . 2))
 (4 4 (:REWRITE SUBSETP-MEMBER . 1))
 (3 3 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (2 1 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 )
(C::COMPUSTATE-HAS-VAR-WITH-TYPE-P-OF-IDENT-FIX-VAR)
(C::COMPUSTATE-HAS-VAR-WITH-TYPE-P-IDENT-EQUIV-CONGRUENCE-ON-VAR)
(C::COMPUSTATE-HAS-VAR-WITH-TYPE-P-OF-TYPE-FIX-TYPE
 (48 48 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (30 3 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (18 3 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (9 9 (:TYPE-PRESCRIPTION C::TYPEP))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (8 4 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (6 6 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (6 3 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (3 3 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 )
(C::COMPUSTATE-HAS-VAR-WITH-TYPE-P-TYPE-EQUIV-CONGRUENCE-ON-TYPE)
(C::COMPUSTATE-HAS-VAR-WITH-TYPE-P-OF-COMPUSTATE-FIX-COMPST
 (24 24 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (20 2 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (12 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (8 1 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::TYPEP))
 (5 1 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (4 2 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (3 3 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (2 2 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (2 1 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 )
(C::COMPUSTATE-HAS-VAR-WITH-TYPE-P-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::COMPUSTATE-HAS-VARS-WITH-TYPES-P
 (28 6 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (20 4 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (12 4 (:REWRITE C::MAPP-WHEN-VAR-TABLE-SCOPEP))
 (12 4 (:REWRITE C::MAPP-WHEN-TAG-ENVP))
 (12 4 (:REWRITE C::MAPP-WHEN-HEAPP))
 (12 4 (:REWRITE C::MAPP-WHEN-FUN-TABLEP))
 (12 4 (:REWRITE C::MAPP-WHEN-FUN-ENVP))
 (10 10 (:TYPE-PRESCRIPTION C::VAR-TABLE-SCOPEP))
 (10 10 (:TYPE-PRESCRIPTION C::TAG-ENVP))
 (10 10 (:TYPE-PRESCRIPTION C::SCOPEP))
 (10 10 (:TYPE-PRESCRIPTION C::FUN-TABLEP))
 (10 10 (:TYPE-PRESCRIPTION C::FUN-ENVP))
 (10 10 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (8 8 (:TYPE-PRESCRIPTION C::HEAPP))
 (6 3 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (5 1 (:REWRITE C::IDENTP-OF-HEAD-KEY-WHEN-SCOPEP))
 (3 3 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (3 1 (:REWRITE C::IDENTP-OF-HEAD-KEY-WHEN-VAR-TABLE-SCOPEP))
 (3 1 (:REWRITE C::IDENTP-OF-HEAD-KEY-WHEN-TAG-ENVP))
 (3 1 (:REWRITE C::IDENTP-OF-HEAD-KEY-WHEN-FUN-TABLEP))
 (3 1 (:REWRITE C::IDENTP-OF-HEAD-KEY-WHEN-FUN-ENVP))
 (2 2 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (2 2 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (2 2 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 (1 1 (:TYPE-PRESCRIPTION C::IDENT-TYPE-MAP-FIX))
 (1 1 (:TYPE-PRESCRIPTION OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (1 1 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTYP))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C::BOOLEANP-OF-COMPUSTATE-HAS-VARS-WITH-TYPES-P)
(C::COMPUSTATE-HAS-VARS-WITH-TYPES-P-OF-IDENT-TYPE-MAP-FIX-VARTYS
 (254 10 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (55 10 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (33 10 (:REWRITE C::MAPP-WHEN-VAR-TABLE-SCOPEP))
 (33 10 (:REWRITE C::MAPP-WHEN-TAG-ENVP))
 (33 10 (:REWRITE C::MAPP-WHEN-HEAPP))
 (33 10 (:REWRITE C::MAPP-WHEN-FUN-TABLEP))
 (33 10 (:REWRITE C::MAPP-WHEN-FUN-ENVP))
 (22 22 (:TYPE-PRESCRIPTION C::VAR-TABLE-SCOPEP))
 (22 22 (:TYPE-PRESCRIPTION C::TAG-ENVP))
 (22 22 (:TYPE-PRESCRIPTION C::SCOPEP))
 (22 22 (:TYPE-PRESCRIPTION C::HEAPP))
 (22 22 (:TYPE-PRESCRIPTION C::FUN-TABLEP))
 (22 22 (:TYPE-PRESCRIPTION C::FUN-ENVP))
 (22 22 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (12 10 (:REWRITE C::MAPP-WHEN-IDENT-TYPE-MAPP))
 (10 10 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (9 9 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (7 7 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (7 7 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 (5 1 (:REWRITE C::SCOPEP-OF-TAIL))
 (3 1 (:REWRITE C::VAR-TABLE-SCOPEP-OF-TAIL))
 (3 1 (:REWRITE C::TAG-ENVP-OF-TAIL))
 (3 1 (:REWRITE C::HEAPP-OF-TAIL))
 (3 1 (:REWRITE C::FUN-TABLEP-OF-TAIL))
 (3 1 (:REWRITE C::FUN-ENVP-OF-TAIL))
 (2 2 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (2 2 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 )
(C::COMPUSTATE-HAS-VARS-WITH-TYPES-P-IDENT-TYPE-MAP-EQUIV-CONGRUENCE-ON-VARTYS)
(C::COMPUSTATE-HAS-VARS-WITH-TYPES-P-OF-COMPUSTATE-FIX-COMPST
 (254 10 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (55 10 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (40 5 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (33 10 (:REWRITE C::MAPP-WHEN-VAR-TABLE-SCOPEP))
 (33 10 (:REWRITE C::MAPP-WHEN-TAG-ENVP))
 (33 10 (:REWRITE C::MAPP-WHEN-HEAPP))
 (33 10 (:REWRITE C::MAPP-WHEN-FUN-TABLEP))
 (33 10 (:REWRITE C::MAPP-WHEN-FUN-ENVP))
 (25 5 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (22 22 (:TYPE-PRESCRIPTION C::VAR-TABLE-SCOPEP))
 (22 22 (:TYPE-PRESCRIPTION C::TAG-ENVP))
 (22 22 (:TYPE-PRESCRIPTION C::SCOPEP))
 (22 22 (:TYPE-PRESCRIPTION C::HEAPP))
 (22 22 (:TYPE-PRESCRIPTION C::FUN-TABLEP))
 (22 22 (:TYPE-PRESCRIPTION C::FUN-ENVP))
 (22 22 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (15 15 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (12 10 (:REWRITE C::MAPP-WHEN-IDENT-TYPE-MAPP))
 (10 10 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (10 10 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (10 5 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (9 9 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (7 7 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (7 7 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 (5 1 (:REWRITE C::SCOPEP-OF-TAIL))
 (3 3 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (3 1 (:REWRITE C::VAR-TABLE-SCOPEP-OF-TAIL))
 (3 1 (:REWRITE C::TAG-ENVP-OF-TAIL))
 (3 1 (:REWRITE C::HEAPP-OF-TAIL))
 (3 1 (:REWRITE C::FUN-TABLEP-OF-TAIL))
 (3 1 (:REWRITE C::FUN-ENVP-OF-TAIL))
 (2 2 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (2 2 (:REWRITE C::IDENT-TYPE-MAPP-OF-TAIL))
 )
(C::COMPUSTATE-HAS-VARS-WITH-TYPES-P-COMPUSTATE-EQUIV-CONGRUENCE-ON-COMPST)
(C::COMPUSTATE-HAS-VAR-WITH-TYPE-P-OF-ENTER-SCOPE
 (24 24 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (20 2 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (12 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::TYPEP))
 (4 4 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (4 2 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 )
(C::COMPUSTATE-HAS-VARS-WITH-TYPES-P-OF-ENTER-SCOPE
 (277 13 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (60 12 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (36 12 (:REWRITE C::MAPP-WHEN-VAR-TABLE-SCOPEP))
 (36 12 (:REWRITE C::MAPP-WHEN-TAG-ENVP))
 (36 12 (:REWRITE C::MAPP-WHEN-HEAPP))
 (36 12 (:REWRITE C::MAPP-WHEN-FUN-TABLEP))
 (36 12 (:REWRITE C::MAPP-WHEN-FUN-ENVP))
 (24 24 (:TYPE-PRESCRIPTION C::VAR-TABLE-SCOPEP))
 (24 24 (:TYPE-PRESCRIPTION C::TAG-ENVP))
 (24 24 (:TYPE-PRESCRIPTION C::SCOPEP))
 (24 24 (:TYPE-PRESCRIPTION C::HEAPP))
 (24 24 (:TYPE-PRESCRIPTION C::FUN-TABLEP))
 (24 24 (:TYPE-PRESCRIPTION C::FUN-ENVP))
 (24 24 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (13 13 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (12 12 (:REWRITE C::MAPP-WHEN-IDENT-TYPE-MAPP))
 (10 10 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (10 10 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 )
(C::COMPUSTATE-HAS-VAR-WITH-TYPE-P-OF-EXIT-EXEC-ENTER
 (2856 2856 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (2495 499 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (2380 238 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (1428 238 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (998 998 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (998 998 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (998 499 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 (714 714 (:TYPE-PRESCRIPTION C::TYPEP))
 (690 138 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (552 552 (:REWRITE-QUOTED-CONSTANT NFIX-UNDER-NAT-EQUIV))
 (525 525 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (525 525 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (525 525 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (525 525 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (525 525 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (525 525 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (525 525 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (476 476 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (476 238 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (476 238 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (276 276 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (276 138 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (238 238 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (238 238 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (40 40 (:REWRITE SUBSETP-MEMBER . 4))
 (40 40 (:REWRITE SUBSETP-MEMBER . 3))
 (40 40 (:REWRITE SUBSETP-MEMBER . 2))
 (40 40 (:REWRITE SUBSETP-MEMBER . 1))
 (40 40 (:REWRITE INTERSECTP-MEMBER . 3))
 (40 40 (:REWRITE INTERSECTP-MEMBER . 2))
 )
(C::COMPUSTATE-HAS-VARS-WITH-TYPES-P-OF-EXIT-EXEC-ENTER
 (254 10 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (55 10 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (37 22 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (33 10 (:REWRITE C::MAPP-WHEN-VAR-TABLE-SCOPEP))
 (33 10 (:REWRITE C::MAPP-WHEN-TAG-ENVP))
 (33 10 (:REWRITE C::MAPP-WHEN-HEAPP))
 (33 10 (:REWRITE C::MAPP-WHEN-FUN-TABLEP))
 (33 10 (:REWRITE C::MAPP-WHEN-FUN-ENVP))
 (28 28 (:TYPE-PRESCRIPTION C::VAR-TABLE-SCOPEP))
 (28 28 (:TYPE-PRESCRIPTION C::TAG-ENVP))
 (28 28 (:TYPE-PRESCRIPTION C::SCOPEP))
 (28 28 (:TYPE-PRESCRIPTION C::FUN-TABLEP))
 (28 28 (:TYPE-PRESCRIPTION C::FUN-ENVP))
 (28 28 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (22 22 (:TYPE-PRESCRIPTION C::HEAPP))
 (15 2 (:REWRITE C::IDENTP-OF-HEAD-KEY-WHEN-SCOPEP))
 (12 10 (:REWRITE C::MAPP-WHEN-IDENT-TYPE-MAPP))
 (10 10 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (10 2 (:REWRITE C::SCOPEP-OF-TAIL))
 (9 9 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (9 2 (:REWRITE C::IDENTP-OF-HEAD-KEY-WHEN-VAR-TABLE-SCOPEP))
 (9 2 (:REWRITE C::IDENTP-OF-HEAD-KEY-WHEN-TAG-ENVP))
 (9 2 (:REWRITE C::IDENTP-OF-HEAD-KEY-WHEN-FUN-TABLEP))
 (9 2 (:REWRITE C::IDENTP-OF-HEAD-KEY-WHEN-FUN-ENVP))
 (7 7 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (7 7 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 (6 4 (:TYPE-PRESCRIPTION OMAP::HEAD-KEY-WHEN-EMPTYP))
 (6 2 (:REWRITE C::VAR-TABLE-SCOPEP-OF-TAIL))
 (6 2 (:REWRITE C::TAG-ENVP-OF-TAIL))
 (6 2 (:REWRITE C::FUN-TABLEP-OF-TAIL))
 (6 2 (:REWRITE C::FUN-ENVP-OF-TAIL))
 (3 3 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (3 3 (:REWRITE C::IDENT-TYPE-MAPP-OF-TAIL))
 (3 1 (:REWRITE C::HEAPP-OF-TAIL))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C2C::EXPR-IDENT-COMPUSTATE-VARS
 (32 4 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (24 24 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (20 4 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (20 2 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (20 2 (:REWRITE C::IDENT-FIX-WHEN-IDENTP))
 (12 12 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (12 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (10 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (8 8 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (8 4 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::TYPEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::IDENTP))
 (4 2 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (3 3 (:REWRITE ZP-OPEN))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (2 2 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C2C::EXPR-COMPUSTATE-VARS
 (24 24 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (20 2 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (12 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::TYPEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (4 2 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C2C::EXPR-COMPUSTATE-VARS-MULTI
 (254 10 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (55 10 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (35 20 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (33 10 (:REWRITE C::MAPP-WHEN-VAR-TABLE-SCOPEP))
 (33 10 (:REWRITE C::MAPP-WHEN-TAG-ENVP))
 (33 10 (:REWRITE C::MAPP-WHEN-HEAPP))
 (33 10 (:REWRITE C::MAPP-WHEN-FUN-TABLEP))
 (33 10 (:REWRITE C::MAPP-WHEN-FUN-ENVP))
 (22 22 (:TYPE-PRESCRIPTION C::VAR-TABLE-SCOPEP))
 (22 22 (:TYPE-PRESCRIPTION C::TAG-ENVP))
 (22 22 (:TYPE-PRESCRIPTION C::SCOPEP))
 (22 22 (:TYPE-PRESCRIPTION C::HEAPP))
 (22 22 (:TYPE-PRESCRIPTION C::FUN-TABLEP))
 (22 22 (:TYPE-PRESCRIPTION C::FUN-ENVP))
 (22 22 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (12 10 (:REWRITE C::MAPP-WHEN-IDENT-TYPE-MAPP))
 (10 10 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (9 9 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (7 7 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (7 7 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 (5 1 (:REWRITE C::SCOPEP-OF-TAIL))
 (3 3 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (3 1 (:REWRITE C::VAR-TABLE-SCOPEP-OF-TAIL))
 (3 1 (:REWRITE C::TAG-ENVP-OF-TAIL))
 (3 1 (:REWRITE C::HEAPP-OF-TAIL))
 (3 1 (:REWRITE C::FUN-TABLEP-OF-TAIL))
 (3 1 (:REWRITE C::FUN-ENVP-OF-TAIL))
 (2 2 (:REWRITE C::IDENT-TYPE-MAPP-OF-TAIL))
 )
(C2C::STMT-COMPUSTATE-VARS
 (24 24 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (20 2 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (12 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::TYPEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (4 2 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C2C::STMT-COMPUSTATE-VARS-MULTI
 (254 10 (:REWRITE OMAP::MAPP-NON-NIL-IMPLIES-NOT-EMPTYP))
 (55 10 (:REWRITE C::MAPP-WHEN-SCOPEP))
 (35 20 (:TYPE-PRESCRIPTION OMAP::TAIL-WHEN-EMPTYP))
 (33 10 (:REWRITE C::MAPP-WHEN-VAR-TABLE-SCOPEP))
 (33 10 (:REWRITE C::MAPP-WHEN-TAG-ENVP))
 (33 10 (:REWRITE C::MAPP-WHEN-HEAPP))
 (33 10 (:REWRITE C::MAPP-WHEN-FUN-TABLEP))
 (33 10 (:REWRITE C::MAPP-WHEN-FUN-ENVP))
 (22 22 (:TYPE-PRESCRIPTION C::VAR-TABLE-SCOPEP))
 (22 22 (:TYPE-PRESCRIPTION C::TAG-ENVP))
 (22 22 (:TYPE-PRESCRIPTION C::SCOPEP))
 (22 22 (:TYPE-PRESCRIPTION C::HEAPP))
 (22 22 (:TYPE-PRESCRIPTION C::FUN-TABLEP))
 (22 22 (:TYPE-PRESCRIPTION C::FUN-ENVP))
 (22 22 (:REWRITE C::SCOPEP-WHEN-MEMBER-EQUAL-OF-SCOPE-LISTP))
 (12 10 (:REWRITE C::MAPP-WHEN-IDENT-TYPE-MAPP))
 (10 10 (:TYPE-PRESCRIPTION OMAP::MAPP))
 (9 9 (:REWRITE OMAP::HEAD-WHEN-EMPTYP-CHEAP))
 (7 7 (:REWRITE OMAP::HEAD-VALUE-WHEN-EMPTYP))
 (7 7 (:REWRITE OMAP::HEAD-KEY-WHEN-EMPTYP))
 (5 1 (:REWRITE C::SCOPEP-OF-TAIL))
 (3 3 (:REWRITE OMAP::TAIL-WHEN-EMPTYP))
 (3 1 (:REWRITE C::VAR-TABLE-SCOPEP-OF-TAIL))
 (3 1 (:REWRITE C::TAG-ENVP-OF-TAIL))
 (3 1 (:REWRITE C::HEAPP-OF-TAIL))
 (3 1 (:REWRITE C::FUN-TABLEP-OF-TAIL))
 (3 1 (:REWRITE C::FUN-ENVP-OF-TAIL))
 (2 2 (:REWRITE C::IDENT-TYPE-MAPP-OF-TAIL))
 )
(C2C::INITER-COMPUSTATE-VARS
 (24 24 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (20 2 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (12 2 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (6 6 (:TYPE-PRESCRIPTION C::TYPEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (4 4 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (4 2 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (4 2 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (2 2 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C2C::DECLON-DECLON-COMPUSTATE-VARS-OLD
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (3 3 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 (2 2 (:REWRITE ZP-OPEN))
 (2 2 (:REWRITE C::IDENTP-WHEN-IN-IDENT-SETP-BINDS-FREE-X))
 )
(C2C::DECLON-DECLON-COMPUSTATE-VARS-NEW
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (6 3 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (6 2 (:REWRITE C::INIT-VALUE-FIX-WHEN-INIT-VALUEP))
 (5 5 (:TYPE-PRESCRIPTION C::TYSPECSEQ-KIND$INLINE))
 (5 5 (:TYPE-PRESCRIPTION C::OBJ-ADECLOR-KIND$INLINE))
 (4 4 (:TYPE-PRESCRIPTION C::INIT-VALUEP))
 (2 2 (:TYPE-PRESCRIPTION C::ICONST->VALUE$INLINE))
 (2 2 (:REWRITE-QUOTED-CONSTANT POS-OPTION-FIX-UNDER-POS-OPTION-EQUIV))
 (2 2 (:REWRITE ZP-OPEN))
 (2 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-VOID))
 (2 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-UCHAR))
 (2 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-SCHAR))
 (2 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-CHAR))
 (2 1 (:REWRITE C::TYSPECSEQ-FIX-WHEN-BOOL))
 (2 1 (:REWRITE C::OBJ-ADECLOR-FIX-WHEN-NONE))
 (1 1 (:TYPE-PRESCRIPTION C::OBJ-ADECLOR-ARRAY->SIZE$INLINE))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-VAR-TABLE-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-TAG-ENVP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-SCOPEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-IDENT-TYPE-MAPP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-TABLEP-BINDS-FREE-X))
 (1 1 (:REWRITE C::IDENTP-WHEN-ASSOC-FUN-ENVP-BINDS-FREE-X))
 )
(C2C::BLOCK-ITEM-STMT-COMPUSTATE-VARS
 (24 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (15 3 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (9 9 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (6 3 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (2 2 (:REWRITE ZP-OPEN))
 )
(C2C::BLOCK-ITEM-DECLON-COMPUSTATE-VARS
 (24 3 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (15 3 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (9 9 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (6 6 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (6 3 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (2 2 (:REWRITE ZP-OPEN))
 )
(C2C::BLOCK-ITEM-LIST-EMPTY-COMPUSTATE-VARS
 (96 96 (:TYPE-PRESCRIPTION C::TYPE-KIND$INLINE))
 (96 12 (:REWRITE C::COMPUSTATE-FIX-WHEN-COMPUSTATEP))
 (80 8 (:REWRITE C::TYPE-FIX-WHEN-TYPEP))
 (60 12 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (48 8 (:REWRITE C::TYPEP-WHEN-TYPE-OPTIONP))
 (36 36 (:TYPE-PRESCRIPTION C::COMPUSTATEP))
 (24 24 (:TYPE-PRESCRIPTION C::TYPEP))
 (24 24 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (24 12 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (16 16 (:TYPE-PRESCRIPTION C::TYPE-OPTIONP))
 (16 8 (:REWRITE C::TYPE-OPTIONP-WHEN-TYPEP))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-VOID))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-USHORT))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-ULONG))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-ULLONG))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-UINT))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-UCHAR))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-SSHORT))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-SLONG))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-SLLONG))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-SINT))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-SCHAR))
 (16 8 (:REWRITE C::TYPE-FIX-WHEN-CHAR))
 (8 8 (:REWRITE-QUOTED-CONSTANT C::BLOCK-ITEM-LIST-FIX-UNDER-BLOCK-ITEM-LIST-EQUIV))
 (8 8 (:REWRITE C::TYPEP-WHEN-IN-TYPE-SETP-BINDS-FREE-X))
 (8 8 (:REWRITE C::TYPE-OPTIONP-WHEN-IN-TYPE-OPTION-SETP-BINDS-FREE-X))
 (3 3 (:REWRITE ZP-OPEN))
 (2 2 (:TYPE-PRESCRIPTION C::STMT-VALUE-KIND$INLINE))
 (1 1 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (1 1 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 )
(C2C::BLOCK-ITEM-LIST-CONS-COMPUSTATE-VARS
 (40 8 (:REWRITE C::COMPUSTATEP-WHEN-COMPUSTATE-OPTIONP))
 (16 16 (:TYPE-PRESCRIPTION C::COMPUSTATE-OPTIONP))
 (16 8 (:REWRITE C::COMPUSTATE-OPTIONP-WHEN-COMPUSTATEP))
 (9 9 (:REWRITE ZP-OPEN))
 (8 8 (:REWRITE FOLD-CONSTS-IN-+))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 2))
 (8 8 (:REWRITE CONSP-WHEN-MEMBER-EQUAL-OF-SYMBOL-SYMBOL-ALISTP . 1))
 )
