renamed function to run prover with minimizer and changed signature to clarify its semantics and make it a drop in replacement for "get_prover"
renamed function to run prover with minimizer and changed signature to clarify its semantics and make it a drop in replacement for "get_prover"

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