fix arity range in conflict check