It currently counts the probability that the branch is true, but it should count the probability that the branch is false. Change-Id: I963825da2e7a7ed3a613eb23ffd085e427dc36e5