Simplification: used Logic.occs instead of mem add_term_frees
Simplification: used Logic.occs instead of mem add_term_frees

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle