priority in Fixed arity constraints