public void writeAssertion(CycAssertion cycAssertion)
                      throws IOException {
    if (trace == API_TRACE_DETAILED) {
      Log.current.println("writeAssertion = " + cycAssertion.toString());
    }
    write(CFASL_EXTERNALIZATION);
    write(CFASL_ASSERTION);
    writeList(cycAssertion.getFormula());
    writeObject(cycAssertion.getMt());
  }