factored out running a prover with (optionally) an implicit minimizer phrase
factored out running a prover with (optionally) an implicit minimizer phrase

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