Another hard rewriting case added.