let iosh_replace iosh i vi = if IH.mem iosh vi.vid then let newset = IOS.singleton (Some i) in IH.replace iosh vi.vid newset else let newset = IOS.singleton (Some i) in IH.add iosh vi.vid newset