Add more examples of expression rewriting