Dedicated inductive for return values of rewrite strategies.
Added test-suite for bug #2990.