Represents a constraint that simply wraps the constraint provided as an argument, without any further functionality, but which modifes the order of evaluation because of its precedence.