{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"///"}]}
/// The BCB CFG is critical to simplifying the coverage analysis by ensuring graph path-based
///
/// queries (`dominates()`, `predecessors`, `successors`, etc.) have branch (control flow)