Merge branch 'cherry-pick-2ab57e21' into '25.1'

Merge branch 'topic/71-kanig-colibri' into 'master'

Issue: eng/spark/spark2014#71

See merge request eng/spark/why3!70

drivers/colibri.drv

@@ -56,6 +56,7 @@ transformation "compile_match"
 transformation "inline_trivial"
 transformation "simplify_formula"
 transformation "eliminate_builtin"
+transformation "remove_unused"
 transformation "eliminate_recursion"
 transformation "eliminate_inductive"
 transformation "eliminate_gnatprove_guard_epsilon"