Priority operator returns a new constraint