FORMAT-TEST-RESULTS (CONDITION STREAM): use PRINC instead of FORMAT
further revisions onto test-record pretty-printing