code: void log(CallInfo callInfo, DataSetAssertion dsa) {
      if (isEnabled(Option.LOG_ASSERTIONS) ||
          (    ! dsa.passed() 
              && isEnabled(Option.LOG_ASSERTION_ERRORS) )) {
        log.write(callInfo, dsa);
      }
    }
docs: Log state assertion.
  @param callInfo Call info.
  @param dsa state assertion.