{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"is_loop_header:"}]}
    is_loop_header: DenseBitSet<BasicCoverageBlock>,
    /// A loop header is a node that dominates one or more of its predecessors.
    /// For each node, the loop header node of its nearest enclosing loop.