224   EXPECT_TRUE(Context.equivalentBoolValues(X, X));  in TEST_F()
226   EXPECT_FALSE(Context.equivalentBoolValues(X, Y));  in TEST_F()
229   EXPECT_FALSE(Context.equivalentBoolValues(Context.getOrCreateNegation(X), X));  in TEST_F()
231   EXPECT_TRUE(Context.equivalentBoolValues(  in TEST_F()
236       Context.equivalentBoolValues(Context.getOrCreateDisjunction(X, X), X));  in TEST_F()
239       Context.equivalentBoolValues(Context.getOrCreateDisjunction(X, Y), X));  in TEST_F()
241   EXPECT_TRUE(Context.equivalentBoolValues(  in TEST_F()
244   EXPECT_TRUE(Context.equivalentBoolValues(  in TEST_F()
249       Context.equivalentBoolValues(Context.getOrCreateConjunction(X, X), X));  in TEST_F()
252       Context.equivalentBoolValues(Context.getOrCreateConjunction(X, Y), X));  in TEST_F()
255       Context.equivalentBoolValues(Context.getOrCreateConjunction(X, True), X));  in TEST_F()
257   EXPECT_TRUE(Context.equivalentBoolValues(  in TEST_F()
262       Context.equivalentBoolValues(Context.getOrCreateDisjunction(X, Y),  in TEST_F()
266       Context.equivalentBoolValues(Context.getOrCreateConjunction(X, Y),  in TEST_F()
270   EXPECT_TRUE(Context.equivalentBoolValues(  in TEST_F()
274   EXPECT_TRUE(Context.equivalentBoolValues(  in TEST_F()
319   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXTrue, True));  in TEST_F()
324   EXPECT_TRUE(Context.equivalentBoolValues(FC1WithXFalse, False));  in TEST_F()
339   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXTrue, False));  in TEST_F()
344   EXPECT_TRUE(Context.equivalentBoolValues(FC1WithXFalse, True));  in TEST_F()
360   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXTrue, True));  in TEST_F()
365   EXPECT_TRUE(Context.equivalentBoolValues(FC1WithXFalse, Y));  in TEST_F()
381   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXTrue, Y));  in TEST_F()
386   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXFalse, False));  in TEST_F()
402   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXTrue, Y));  in TEST_F()
407   EXPECT_TRUE(Context.equivalentBoolValues(FC1WithXFalse, True));  in TEST_F()
412   EXPECT_TRUE(Context.equivalentBoolValues(FCWithYTrue, True));  in TEST_F()
417   EXPECT_TRUE(Context.equivalentBoolValues(FCWithYFalse,  in TEST_F()
434   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXTrue, Y));  in TEST_F()
439   EXPECT_TRUE(Context.equivalentBoolValues(FC1WithXFalse,  in TEST_F()
445   EXPECT_TRUE(Context.equivalentBoolValues(FCWithYTrue, X));  in TEST_F()
450   EXPECT_TRUE(Context.equivalentBoolValues(FCWithYFalse,  in TEST_F()
472   EXPECT_TRUE(Context.equivalentBoolValues(  in TEST_F()
476   EXPECT_TRUE(Context.equivalentBoolValues(ForkedFCWithYAndZTrue, X));  in TEST_F()
485   EXPECT_TRUE(Context.equivalentBoolValues(ForkedFCWithXFalse, False));  in TEST_F()
486   EXPECT_TRUE(Context.equivalentBoolValues(ForkedFCWithYFalse, False));  in TEST_F()
487   EXPECT_TRUE(Context.equivalentBoolValues(ForkedFCWithZFalse, False));  in TEST_F()
512   EXPECT_TRUE(Context.equivalentBoolValues(JoinedFCWithXTrue, Z));  in TEST_F()
513   EXPECT_TRUE(Context.equivalentBoolValues(JoinedFCWithYTrue, Z));  in TEST_F()
518   EXPECT_TRUE(Context.equivalentBoolValues(  in TEST_F()
527   EXPECT_TRUE(Context.equivalentBoolValues(  in TEST_F()
529   EXPECT_TRUE(Context.equivalentBoolValues(  in TEST_F()
535   EXPECT_TRUE(Context.equivalentBoolValues(JoinedFCWithZFalse, False));  in TEST_F()