Removing unused tactics in rewrite.