Set the polarity for BDD in generate_constraints
Add polarity argument to And, Or, and Xor