Major Section: MISCELLANEOUS
See splitter for a discussion of splitter rules. See set-splitter-output for
how to turn off, or on, the reporting of splitter rules. When
splitter-output is off, because either prove output is inhibited
(see set-inhibit-output-lst) or (set-splitter-output nil) has
been invoked, then the value of (splitter-output) is nil. Otherwise,
such reporting is on and the value is non-nil.