AC-FOVE: Constraint Refactoring

* Corrections in InequalityConstraint
* Creation of EqualityConstraint
AC-FOVE: Code refactoring for logical operators

* Logical operators, histogram and rangeElement