let
getRDs sid =
try
Some
(
ReachingDef
.
StmtStartData
.find sid)
with
Not_found
->
None