Code to help understand why pointer analysis finds a points-to edge