WithOperator
Represents a constraint that simply wraps the
            constraint provided as an argument, without any
            further functionality, but which modifies the
            order of evaluation because of its precedence.
            
                
public WithOperator()
Constructor for the WithOperator