add tests for prettyprinting