{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// that merges or omits some blocks that aren't relevant to coverage.
    /// "coverage graph", which is a refinement of the MIR control-flow graph
    ///