{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"node_data.terminator().successors().any(|succ|"}]}
    node_data.terminator().successors().any(|succ| doms.dominates(succ, node))
    // Check if any of the dominators of the node are also the node's successor.
}