removal of some redundancies (e.g. one-point-rules) in clause production
removal of some redundancies (e.g. one-point-rules) in clause production

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