Start of code for reaching defs, identifying def points in code