generalize lemma-union-not-used