def normalize(rendered):
out = '<STR_LIT>'.join([line.strip()<EOL>for line in rendered.splitlines()<EOL>if line.strip()])<EOL>out = out.replace('<STR_LIT:U+002CU+0020>', '<STR_LIT:U+002C>')<EOL>return out<EOL>
Return the input string without non-functional spaces or newlines.