221   auto &False = Context.getBoolLiteralValue(false);  in TEST_F()  local
245       Context.getOrCreateDisjunction(X, False), X));  in TEST_F()
258       Context.getOrCreateConjunction(X, False), False));  in TEST_F()
294   auto &False = Context.getBoolLiteralValue(false);  in TEST_F()  local
299   Context.addFlowConditionConstraint(FC, False);  in TEST_F()
302   EXPECT_DEATH(Context.buildAndSubstituteFlowCondition(FC, {{&False, &Other}}),  in TEST_F()
310   auto &False = Context.getBoolLiteralValue(false);  in TEST_F()  local
323       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
324   EXPECT_TRUE(Context.equivalentBoolValues(FC1WithXFalse, False));  in TEST_F()
330   auto &False = Context.getBoolLiteralValue(false);  in TEST_F()  local
339   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXTrue, False));  in TEST_F()
343       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
351   auto &False = Context.getBoolLiteralValue(false);  in TEST_F()  local
364       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
372   auto &False = Context.getBoolLiteralValue(false);  in TEST_F()  local
385       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
386   EXPECT_TRUE(Context.equivalentBoolValues(FCWithXFalse, False));  in TEST_F()
393   auto &False = Context.getBoolLiteralValue(false);  in TEST_F()  local
406       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
416       Context.buildAndSubstituteFlowCondition(FC, {{&Y, &False}});  in TEST_F()
425   auto &False = Context.getBoolLiteralValue(false);  in TEST_F()  local
438       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
449       Context.buildAndSubstituteFlowCondition(FC, {{&Y, &False}});  in TEST_F()
459   auto &False = Context.getBoolLiteralValue(false);  in TEST_F()  local
480       Context.buildAndSubstituteFlowCondition(ForkedFC, {{&X, &False}});  in TEST_F()
482       Context.buildAndSubstituteFlowCondition(ForkedFC, {{&Y, &False}});  in TEST_F()
484       Context.buildAndSubstituteFlowCondition(ForkedFC, {{&Z, &False}});  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()
495   auto &False = Context.getBoolLiteralValue(false);  in TEST_F()  local
524       Context.buildAndSubstituteFlowCondition(JoinedFC, {{&X, &False}});  in TEST_F()
526       Context.buildAndSubstituteFlowCondition(JoinedFC, {{&Y, &False}});  in TEST_F()
534       Context.buildAndSubstituteFlowCondition(JoinedFC, {{&Z, &False}});  in TEST_F()
535   EXPECT_TRUE(Context.equivalentBoolValues(JoinedFCWithZFalse, False));  in TEST_F()