Identify ThisRef is def statements. Store all reaching definitions, since all of them can be candidates for mutation.