{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"if"}]}
            if !node.subnodes.is_empty() {
            );
                // We will soon sort, so the initial order does not matter.