{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"if"}]}
            if dominators.dominates(succ, bb) {
        for succ in bbdata.terminator().successors() {
                loop_headers.insert(succ);