Catch runtime exceptions in trySimpOnly#27

PatrickMassot merged 2 commits into

PatrickMassot:masterPatrickMassot/verbose-lean4:masterfrom

impermeable:bugfix/calc-sinceimpermeable/verbose-lean4:bugfix/calc-sinceCopy head branch name to clipboard