Rewrite Analysis