remove ambiguity in constraint priorities