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