IDE reports a "no progress" in transformations as a failure
Example:
Uncaught: anomaly: Why3.Session_itp.NoProgress Transformation failed: simplify_trivial_quantification_in_goal
This is somewhat confusing: transformations are meant to leave the task unchanged when they are not applicable. This should not be reported as an error.