public void TestDisjointProbability() {
var l = new double[] { 0.2, 0.3, 0.4 };
var dp = CFGLib.Helpers.DisjointProbability(l);
var truedp = (0.2 + 0.3 + 0.4)
- (0.2 * 0.3) - (0.2 * 0.4) - (0.3 * 0.4)
+ (0.2 * 0.3 * 0.4);
Helpers.AssertNear(truedp, dp);
}