another test of field-based pointer analysis