pretty printing support for new AST changes