{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"this.visit_block(then);"}]}
                    this.visit_block(then);
                    this.diag_metadata.in_if_condition = old;
                });