@Override
  public Void onRef(DRefPattern p) {
    if (myDepth < myTargetDepth || myTargetDepth == -1) {
      return super.onRef(p);
    }
    return null;
  }
@Override
  public Void onRef(DRefPattern p)