let getSimpRhs defId =
  let rhso = getDefRhs ReachingDef.defIdStmtHash defId in
  match rhso with None -> None
  | Some(r,_,_) -> Some(r)