Use only half-reified constraints where appropriate

[lalithsuresh]

Currently, the or-tools CP-SAT backend fully reifies all constraints when constructing expressions. This is overly conservative. We can reduce the number of the intermediate variables and constraints by only using half-reified constraints when appropriate (for example, logical constraints that have to be true).