tries harder to remove negative literals, e.g. -2*x = 0 goes to x=0 rather than -x=0.
tries harder to remove negative literals, e.g.
-2*x = 0 goes to x=0 rather than -x=0.

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