Split up constraint.rkt
Replaced equal? with consistent