eliminate duplicate hypotheses (which can arise due to (un)clausification)
eliminate duplicate hypotheses (which can arise due to (un)clausification)

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