Updated code for ReachingDefs