No need to assert, can rewrite directly.

This is how you can use rewrite directly, without having to assert the
statement first.