more on mithril analysis rewrite