extending preprocessing of simproc to rewrite subset inequality into membership of powerset
extending preprocessing of simproc to rewrite subset inequality into membership of powerset

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