Let += and -= operators in BranchProbability have saturation behaviors.