protected ATermPlaceholderImpl(PureFactory factory, ATerm type)
protected ATermPlaceholderImpl(PureFactory factory, ATerm type, ATermList annos)
  protected ATermPlaceholderImpl(PureFactory factory, ATerm type)  {    super(factory);    this.type = type;  }