method private add_map map vinfo value =
    map := VInfoMap.add vinfo value !map