Transforming Boolean Equalities into Constraints 1