let id_dh_add vid p = if IH.mem idDefHash vid then let oldlist = IH.find idDefHash vid in let newlist = p::oldlist in IH.replace idDefHash vid newlist else IH.add idDefHash vid [p]