method
vvdec v =
if
v.vglob
then
known_globals <-
Varinfo
.
Set
.add v known_globals;
DoChildren