Priority operator returns a new constraint
Change priority operator to !! for visibility
Merge branch 'priority'