method already_seen vi =
    Varinfo.Hashtbl.mem visited vi