(ALEOVM::ADDRESS-COMPARE--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-ADDRESS-COMPARE--CONSTRAINTS)
(ALEOVM::ADDRESS-EQUAL--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-ADDRESS-EQUAL--CONSTRAINTS)
(ALEOVM::ADDRESS-TERNARY--CONSTRAINTS)
(ALEOVM::R1CS-CONSTRAINT-LISTP-OF-ADDRESS-TERNARY--CONSTRAINTS)
