Refactoring the unit test (residual test); moved code generation to
pprinter, where it belongs