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