added parse tree pretty-printing