Initial implementation of reaching defintion analysis