body is evaluated as an implicit
progn, except that inside body the compiler does not generate code coverage counters, unless force was supplied non-nil to generate-code-coverage or with-code-coverage-generation.
There will be a counter for the
(without-code-coverage ...) form itself. If you do not want this counter, use error-situation-forms instead.
LispWorks User Guide and Reference Manual - 20 Sep 2017