setHashCode(hashFunction(fun, args, annotations));
  protected ATermApplImpl(PureFactory factory, AFun fun, ATerm[] args,			  ATermList annos)  {    super(factory, annos);    this.fun  = fun;    this.args = args;  }