`why3 replay --use-steps` very flaky with Alt-Ergo 2.4.1
I'm trying to switch Creusot to use step limits in an attempt to quash flakiness in CI but I've found that it's even worse, at least with Alt-Ergo 2.4.1, the following proof session fails approximately 30% of the time.
Is this a known issue? Is it a bug in Alt-Ergo? Is there something I can do to avoid this?
Additionally, the second file shows a situation in which Why3 passes invalid options for steps to Z3 and Alt-Ergo.