Tweaked how shouldBranch checks SaturationCounter