{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":".then(a.change_kind().cmp(&b.change_kind()))"}]}
            .then(a.change_kind().cmp(&b.change_kind()))
            })
    });