public ATermList makeList(ATerm first, ATermList next) { return makeList(first, next, empty);
public ATermList makeList() { return empty;
  public ATermList makeList(ATerm first, ATermList next) {    return makeList(first, next, empty);  }