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