generate left-to-right rewrite tag for combinator helpers for SPASS 3.8
generate left-to-right rewrite tag for combinator helpers for SPASS 3.8

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