Switch lowering: handle zero-weight branch probabilities