rewrite analyzer:analyze