systematically suppress tracing if asked for (affects 'meson' proof method)
systematically suppress tracing if asked for (affects 'meson' proof method)

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