analyzer: rewrite