Add more constantness in BranchProbabilityInfo.