Fixed Reaching Definition analysis, it works now