Error messages produced by the translator are single-line but should be multi-
line. The error message string contains '\n' characters, so these are apparently
not correctly translated into line breaks when displayed on the command line.

I
attached a modified blocksworld domain file that contains unstratifiable axioms
and makes the translator crash. The resulting error message is displayed single-
line instead of multi-line.