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