Refactored ReachingDefsAnalysisTest to better understand Def/Use model.