{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"dom_path.push(bb);"}]}
                dom_path.push(bb);
                let parent = doms.immediate_dominator(bb).unwrap();
                if !self.body.basic_blocks[parent].is_cleanup {