fix AST stringizer following the change of AST
add children() member function to support enumerating AST nodes' children