Currently having boolean constraints call a macro which calls CS instead of ConstraintSolver
Currently having boolean constraints call a macro which calls CS instead of ConstraintSolver