
Since #112694, MCDCRecord::isCondFolded() has returned true for "partially folded" conditions. Besides, isConditionIndependencePairCovered() returns true if the unfolded condition is satisfied. This might break consistency (CoveredPairs <= NumPairs).