mutable
known_globals =
Varinfo
.
Set
.empty