Added rewrite rules for Stateful benchmarks.