s_expressions-printers-pretty-tests: new test for parameter mutators (this makes the test suite cover all the reachable code)