Optimize bools miscalculates edge likelihoods

[dhartglassMSFT]

Example

We have (note BB03->BB06 likelihood of 0.96)

------------ BB03 [0002] [016..022) -> BB06(0.9697322),BB04(0.03026775) (cond), preds={BB02} succs={BB04,BB06}

and

------------ BB04 [0003] [022..02B) -> BB06(0),BB05(1) (cond), preds={BB03} succs={BB05,BB06}

Optimize bools combines them this, with a BB3->BB06 likelihood that's much lower than it should be:

------------ BB03 [0002] [016..02B) -> BB06(0),BB05(1) (cond), preds={BB02} succs={BB05,BB06}

[dhartglassMSFT]

Have a fix locally, going through diffs

[dotnet-policy-service]

Tagging subscribers to this area: @JulieLeeMSFT, @jakobbotsch
See info in area-owners.md if you want to be subscribed.