(ALEOVM::FIELD-ASSERT-NEQ-SPEC
 (2 2 (:REWRITE PFIELD::FEP-WHEN-FE-LISTP-AND-MEMBER-EQUAL))
 (2 2 (:REWRITE PFIELD::FEP-WHEN-CONSTANT))
 (1 1 (:REWRITE NOT-PRIMEP-WHEN-DIVIDES))
 )
(ALEOVM::BOOLEANP-OF-FIELD-ASSERT-NEQ-SPEC)
(ALEOVM::FIELD-ASSERT-NEQ-CIRCUIT)
(ALEOVM::DEFINITIONP-OF-FIELD-ASSERT-NEQ-CIRCUIT)
(ALEOVM::SR1CS-DEFINITIONP-OF-FIELD-ASSERT-NEQ-CIRCUIT)
(ALEOVM::FIELD-ASSERT-NEQ-PRED)
(ALEOVM::FIELD-ASSERT-NEQ-PRED-SUFF)
(ALEOVM::DEFINITION-SATP-OF-FIELD-ASSERT-NEQ-PRED)
(ALEOVM::CONSTRAINT-SATP-OF-FIELD-ASSERT-NEQ-PRED)
(ALEOVM::CONSTRAINT-SATP-TO-DEFINITION-SATP-OF-BOOLEAN-ASSERT-TRUE-PRED)
(ALEOVM::CONSTRAINT-SATP-TO-DEFINITION-SATP-OF-FIELD-NEQ-PRED)
(PFCS::ONLY-IF-DIRECTION
 (1056 1056 (:TYPE-PRESCRIPTION FTY::RESERR))
 (192 24 (:REWRITE PFCS::CONSTRAINT-SATP-OF-EQUAL))
 )
(PFCS::IF-DIRECTION
 (16 2 (:REWRITE PFCS::CONSTRAINT-SATP-OF-EQUAL))
 )
(ALEOVM::DEFINITION-SATP-TO-FIELD-ASSERT-NEQ-PRED)
(ALEOVM::FIELD-ASSERT-NEQ-PRED-SOUNDNESS
 (3 3 (:REWRITE PFIELD::FEP-WHEN-FE-LISTP-AND-MEMBER-EQUAL))
 (1 1 (:REWRITE NOT-PRIMEP-WHEN-DIVIDES))
 )
(ALEOVM::FIELD-ASSERT-NEQ-PRED-COMPLETENESS
 (3 3 (:REWRITE PFIELD::FEP-WHEN-FE-LISTP-AND-MEMBER-EQUAL))
 )
(ALEOVM::FIELD-ASSERT-NEQ-PRED-TO-SPEC
 (2 2 (:REWRITE PFIELD::FEP-WHEN-FE-LISTP-AND-MEMBER-EQUAL))
 (2 2 (:REWRITE PFIELD::FEP-WHEN-CONSTANT))
 (1 1 (:REWRITE NOT-PRIMEP-WHEN-DIVIDES))
 )
(ALEOVM::FIELD-ASSERT-NEQ-CIRCUIT-TO-SPEC)
