add global to field-based pointer analysis