Changed the toString implementation in ASTNode