New JSON formatter for parse trees