mutable callable = Varinfo.Set.empty