for _, c := range b.Succs {
        found := false
        for _, bb := range c.Preds {
            if bb == b {
                found = true