litmus-presi: similar output for both modes (std & presi)
Also supressed 'signaling' made obsolete by pre-si mode.