strip implementation detail from lemma-union-delete-fromFunc