Tests to match Template-method PrettyPrint