Pretty-printer should produce syntactically-correct code