public static Cons buildOneTableAssertion(NamedDescription tableRelation, Cons tuple, Module dbModule) {
    { Cons assertion = Stella.NIL;
      int colno = -1;

      { int i = Stella.NULL_INTEGER;
        int iter000 = 0;
        int upperBound000 = tableRelation.arity();
        boolean unboundedP000 = upperBound000 == Stella.NULL_INTEGER;
        Cons collect000 = null;

        for (;unboundedP000 ||
                  (iter000 <= upperBound000); iter000 = iter000 + 1) {
          i = iter000;
          if (collect000 == null) {
            {
              collect000 = Cons.cons(Stella.NULL_STRING_WRAPPER, Stella.NIL);
              if (assertion == Stella.NIL) {
                assertion = collect000;
              }
              else {
                Cons.addConsToEndOfConsList(assertion, collect000);
              }
            }
          }
          else {
            {
              collect000.rest = Cons.cons(Stella.NULL_STRING_WRAPPER, Stella.NIL);
              collect000 = collect000.rest;
            }
          }
        }
      }
      { Stella_Object item = null;
        Cons iter001 = tuple;

        for (;!(iter001 == Stella.NIL); iter001 = iter001.rest) {
          item = iter001.value;
          colno = RDBMS.getTableColumnIndex(tableRelation, ((XmlElement)(((Cons)(item)).value)).name, dbModule);
          if (colno < 0) {
            Stella.STANDARD_WARNING.nativeStream.println("Warning: Couldn't find column number for `" + item + "' on relation `" + tableRelation + "'");
          }
          else {
            assertion.nthSetter(((Cons)(item)).rest.rest.value, colno);
          }
          if (!(((Cons)(item)).rest.rest.rest == Stella.NIL)) {
            Stella.STANDARD_WARNING.nativeStream.println("Warning: Extra elements found in `" + item + "'");
          }
        }
      }
      { Stella_Object item = null;
        Cons iter002 = assertion.rest;

        loop002 : for (;!(iter002 == Stella.NIL); iter002 = iter002.rest) {
          item = iter002.value;
          if (StringWrapper.unwrapString(((StringWrapper)(item))) == null) {
            Stella.STANDARD_WARNING.nativeStream.println("Warning: Some table relation values not set: `" + assertion + "'");
            break loop002;
          }
        }
      }
      assertion.rest = RDBMS.coerceValues(((Cons)(assertion.rest)), RDBMS.getRelationTableInfo(tableRelation));
      assertion.nthSetter(tableRelation, 0);
      return (assertion);
    }
  }