return Math.abs(hnr);
return Math.abs(hnr + annos.hashCode());
  static int hashFunction(AFun fun, ATerm[] args)  {    int hnr;    hnr = fun.hashCode();    for (int i=0; i<args.length; i++) {      hnr = (hnr << 1) ^ (hnr >> 1) ^ args[i].hashCode();    }    return Math.abs(hnr);  }