let iosh_singleton_lookup iosh vi = if IH.mem iosh vi.vid then let ios = IH.find iosh vi.vid in if not (IOS.cardinal ios = 1) then None else IOS.choose ios else None