{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"while"}]}
                        while branches.len() < branch_index {
                        branches.push((branches.len() as u128, old_otherwise));
                            branches.push((branches.len() as u128, TEMP_BLOCK));