answer.clear();
ptABC.iterateOverTable(pti, new AssignmentProposition(bRV, false));
Assert.assertEquals(11001100.0, sumOf(answer), DELTA_THRESHOLD);
answer.clear();
ptABC.iterateOverTable(pti, new AssignmentProposition(cRV, true));
Assert.assertEquals(1010101.0, sumOf(answer), DELTA_THRESHOLD);
answer.clear();
ptABC.iterateOverTable(pti, new AssignmentProposition(cRV, false));
Assert.assertEquals(10101010.0, sumOf(answer), DELTA_THRESHOLD);