gracefully handle the case where no integers occur in the formula and the "max" option is used
gracefully handle the case where no integers occur in the formula and the "max" option is used

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