String comparison fails because of ATerm(fun(quoted(…)))

/**
* Testcases Pretty-Print
*/
test Pretty-Print

module test-prettyprint
rules
bar(x) = map(x)
refactor format-refactoring to
"module test-prettyprint

rules

bar(|x) =
map(x)"

Unexpected output: “module test-prettyprint\n\nrules\n\n bar(x) =\n map(x)”

Refactor(“format-refactoring”, None(), ATerm(fun(quoted(“"module test-prettyprint\n rules\n bar(|x) = map(x)"”))))

Submitted by Maartje on 7 August 2011 at 15:30

See aterm-eq and explode-aterm, used in some of the other check rules.