let
getDefIdStmt defid =
try
Some
(
IH
.find
ReachingDef
.defIdStmtHash defid)
with
Not_found
->
None