Revert "Fix priority comparisons in compilation, and use compiled constraints"

This reverts commit 2f692766070f43dce87340e739b44f38771dffd0.