print traversal for Json.AST