Adds constraint priority translation