Improve the performance of `condSimpTac`

[sonmarcho]

trafficstars

This is an alternative version of https://github.com/AeneasVerif/aeneas/pull/559 which also improves the performance of progress*. As the performance gain was disappointing and as it lead to an significant increase in the code complexity, I decided to not merge it for now.