return Math.abs(first.hashCode() ^ (hnr << 1) ^ (hnr >> 1));
return Math.abs(first.hashCode() ^ (hnr << 1) ^ (hnr >> 1) + annos.hashCode());
  static int hashFunction(ATerm first, ATermList next)  {    int hnr;    if (first == null && next == null) {      return 42;    }    hnr = next.hashCode();    return Math.abs(first.hashCode() ^ (hnr << 1) ^ (hnr >> 1));  }