BlockFrequency: Saturate at 1 instead of 0 when multiplying a frequency with a branch...