setHashCode(hashFunction(null, null, null));
  protected ATermListImpl(PureFactory factory)  {    super(factory, null);    this.annotations = this;    this.first  = null;    this.next   = null;    this.length = 0;  }