Pretty good print style of AST~