ReachingDefs done. Need to fix empty exit[] in Solver