(SIMPLE-UNION
 (10 10 (:REWRITE DEFAULT-CAR))
 (7 7 (:REWRITE DEFAULT-CDR))
 (3 1 (:DEFINITION MEMBER-EQUAL))
 )
(CJ-EXTRACT-SIGNAL-NAMES)
(CJ-EXTRACT-CONSTRAINTS)
(SIGNAL-NAME-OR-1)
(CJ-SV-TO-R1CS-SV)
(CJ-SVS-TO-R1CS-SVS)
(CJ-CONSTRAINT-TO-R1CS-CONSTRAINT)
(RAW-CONSTRAINTS-TO-R1CS-CONSTRAINTS)
(INVERT-CJ-SIGNAL-STRINGS)
(CJ-TO-R1CS)
