regression tests for FOF/CNF/TFF/TFA, and a fix for pretty-printing output status according to SZS ontology