* @param conslist2
   * @return Cons
   */
  public static Cons append(Cons conslist1, Cons conslist2) {
    if (conslist1 == Stella.NIL) {
      return (conslist2);
    }
    else if (conslist2 == Stella.NIL) {
      return (conslist1);
    }
    else {
      return (Cons.copyConsList(conslist1).concatenate(conslist2, Stella.NIL));
    }
  }