Testing some rewrite assumptions