Holds if the branch taken by condition
cb1 should be recorded in
this split, and the recorded value determines the branch taken by a
cb2, possibly inverted.
For example, in
var b = GetB(); if (b) Console.WriteLine("b is true"); if (!b) Console.WriteLine("b is false");
the branch taken in the condition on line 2 can be recorded, and the recorded value will detmine the branch taken in the condition on line 4.