{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":")"}]}
) -> Vec<BasicCoverageBlock> {
    balanced_graph: BalancedFlowGraph<&CoverageGraph>,
    // A "reloop" node has exactly one out-edge, which jumps back to the top