Update test-suite files after last commit. Add a file for rewrite_strat
examples.