No unused properties in PrettyExamplePrinter