class DInstanceFieldRef extends GInstanceFieldRef {
  private HashSet<Object> thisLocals;

  public DInstanceFieldRef(Value base, SootFieldRef fieldRef, HashSet<Object> thisLocals) {
    super(base, fieldRef);

    this.thisLocals = thisLocals;
  }

  public void toString(UnitPrinter up) {<FILL_FUNCTION_BODY>}

  public String toString() {
    if (thisLocals.contains(getBase())) {
      return fieldRef.name();
    }

    return super.toString();
  }

  public Object clone() {
    return new DInstanceFieldRef(getBase(), fieldRef, thisLocals);
  }
}

    if (thisLocals.contains(getBase())) {
      up.fieldRef(fieldRef);
    } else {
      super.toString(up);
    }
  
<methods>public void <init>(soot.Value, soot.SootFieldRef) ,public java.lang.Object clone() ,public int getPrecedence() ,public java.lang.String toString() <variables>