let
getStmt sid =
try
Some
(
IH
.find
ReachingDef
.sidStmtHash sid)
with
Not_found
->
None