{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"inner_changed"}]}
                    inner_changed = false;
                while inner_changed {
                    inner_changed |= self.simplify_branch(&mut terminator);