precedence constraint