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