Function graph_reaches_any 

fn graph_reaches_any(
    graph: &PathGraph<'_>,
    sources: &[usize],
    target_pred: impl Fn(usize) -> bool,
) -> bool

Return whether a loop SCC can reach a given checkpoint block.