changed the attribute of SyntaxTree.toString