When printing successor probabilities for a MBB, a human readble value is somethimes shown as 200%.
The human readble output is based on getProbabilityIterator, which returns 0xFFFFFFFF for getNumerator() and 0x80000000 for getDenominator() for unknown BranchProbability.
By using getSuccProbability as we do for the non-human readable part, we can avoid this problem.
Example of broken probability
bb.1.if.then: ; predecessors: %bb.0 successors: %bb.3(0x80000000); %bb.3(200.00%)