method
already_seen vi =
Varinfo
.
Hashtbl
.mem visited vi