inductive_rulify2 accomodates malformed induction rules;
inductive_rulify2 accomodates malformed induction rules;

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