-
Raphaël Rieu-Helft authored
When many equalities have to be rewritten, using the existing rewrite transformation repeatedly wastes a lot of time in declaration and task construction. The rewrite_list transformation rewrites all equalities first and then builds the new declarations and tasks only once.
fc53feba