let iosh_none_fill iosh vil =
  List.iter (fun vi ->
    IH.add iosh vi.vid (IOS.singleton None))
    vil