BranchProb: modify the definition of an edge in BranchProbabilityInfo to handle