tests that failed on the weaker optimiser: none
assertion `simplify(max(x, 5)) is x` for x in [5, 9]: original True   weaker optimiser False
