* (cover:report)

;+ :REACH (COVER::DEFUN SPLIT-SEQUENCE::SPLIT-LIST (SPLIT-SEQUENCE:  <1>
; + :REACH (IF SPLIT-SEQUENCE::TEST-NOT (LAMBDA (SPLIT-SEQUENCE::X)  <36>
;  - :NON-NULL SPLIT-SEQUENCE::TEST-NOT  <38>
;+ :REACH (COVER::DEFUN SPLIT-SEQUENCE::SPLIT-LIST-INTERNAL (SPLIT-  <6>
; + :REACH (OR SPLIT-SEQUENCE::END (LENGTH LIST))  <44>
;  - :EVAL-ALL (LENGTH LIST)  <47>
;+ :REACH (COVER::DEFUN SPLIT-SEQUENCE::SPLIT-VECTOR (SPLIT-SEQUENC  <7>
; + :REACH (COND ((AND # #) (SPLIT-SEQUENCE::SPLIT-VECTOR-FROM-STAR  <12>
;  + :REACH (AND (NOT SPLIT-SEQUENCE::FROM-END) SPLIT-SEQUENCE::TES  <112>
;   - :EVAL-ALL SPLIT-SEQUENCE::TEST-NOT  <115>
;  - :FIRST-NON-NULL (AND (NOT SPLIT-SEQUENCE::FROM-END) SPLIT-SEQU  <16>
;  + :REACH (AND SPLIT-SEQUENCE::FROM-END (NULL SPLIT-SEQUENCE::TES  <116>
;   - :FIRST-NULL SPLIT-SEQUENCE::FROM-END  <118>
;  - :FIRST-NON-NULL T  <19>
;+ :REACH (COVER::DEFUN SPLIT-SEQUENCE::SPLIT-VECTOR-FROM-START (SP  <11>
; + :REACH (AND COUNT (>= SPLIT-SEQUENCE::NR-ELTS COUNT))  <32>
;  - :EVAL-ALL (>= SPLIT-SEQUENCE::NR-ELTS COUNT)  <35>
;- :REACH (COVER::DEFUN SPLIT-SEQUENCE::SPLIT-EXTENDED-SEQUENCE (SP  <144>
;- :REACH (COVER::DEFUN SPLIT-SEQUENCE::SPLIT-EXTENDED-SEQUENCE-IF   <145>
;- :REACH (COVER::DEFUN SPLIT-SEQUENCE::SPLIT-EXTENDED-SEQUENCE-IF-  <146>
;- :REACH (COVER::DEFUN SPLIT-SEQUENCE::SPLIT-EXTENDED-SEQUENCE-FRO  <147>
;- :REACH (COVER::DEFUN SPLIT-SEQUENCE::SPLIT-EXTENDED-SEQUENCE-FRO  <148>
;+ :REACH (COVER::DEFUN SPLIT-SEQUENCE::CHECK-TESTS (SPLIT-SEQUENCE  <149>
; + :REACH (WHEN (AND SPLIT-SEQUENCE::TEST SPLIT-SEQUENCE::TEST-NOT  <153>
;  + :REACH (AND SPLIT-SEQUENCE::TEST SPLIT-SEQUENCE::TEST-NOT)  <157>
;   - :EVAL-ALL SPLIT-SEQUENCE::TEST-NOT  <160>
;  - :NON-NULL (AND SPLIT-SEQUENCE::TEST SPLIT-SEQUENCE::TEST-NOT)  <155>