{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"///"}]}
    /// it dominates. If that subset is non-empty, the node is a "loop header",
    /// For the given node, yields the subset of its predecessor nodes that
    /// and each of those predecessors represents an in-edge that jumps back to