{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"loop_headers.insert(succ);"}]}
                loop_headers.insert(succ);
            if dominators.dominates(succ, bb) {
            }