public static boolean consLessThanP(Cons o1, Cons o2) {
    { Stella_Object i1 = null;
      Cons iter000 = o1;
      Stella_Object i2 = null;
      Cons iter001 = o2;

      for (;(!(iter000 == Stella.NIL)) &&
                (!(iter001 == Stella.NIL)); iter000 = iter000.rest, iter001 = iter001.rest) {
        i1 = iter000.value;
        i2 = iter001.value;
        if (Logic.logicFormLessP(i1, i2)) {
          return (true);
        }
        if (Logic.logicFormLessP(i2, i1)) {
          return (false);
        }
      }
    }
    return (o1.length() < o2.length());
  }