let getDefRhs = RD.getDefRhs RD.ReachingDef.defIdStmtHash