Debug: invert messages to print the assertion/assumption/requirement expression verbatim