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