mutable
known_globals =
Cilutil
.
VarinfoSet
.empty