{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
        // which never has predecessors. Any other blocks merged into bcb0 can't
        // The coverage graph's entry-point node (bcb0) always starts with bb0,
        // have multiple (coverage-relevant) predecessors, so bcb0 always has