GlobalsModRef: Unify and clean up duplicated pointer analysis code.