mutable must_add_decl = Varinfo.Set.empty