139   auto &FC = Context.makeFlowConditionToken();  in TEST_F()  local
141   EXPECT_FALSE(Context.flowConditionImplies(FC, C));  in TEST_F()
145   auto &FC = Context.makeFlowConditionToken();  in TEST_F()  local
147   Context.addFlowConditionConstraint(FC, C);  in TEST_F()
148   EXPECT_TRUE(Context.flowConditionImplies(FC, C));  in TEST_F()
285   auto &FC = Context.makeFlowConditionToken();  in TEST_F()  local
286   Context.addFlowConditionConstraint(FC, True);  in TEST_F()
289   EXPECT_DEATH(Context.buildAndSubstituteFlowCondition(FC, {{&True, &Other}}),  in TEST_F()
298   auto &FC = Context.makeFlowConditionToken();  in TEST_F()  local
299   Context.addFlowConditionConstraint(FC, False);  in TEST_F()
302   EXPECT_DEATH(Context.buildAndSubstituteFlowCondition(FC, {{&False, &Other}}),  in TEST_F()
313   auto &FC = Context.makeFlowConditionToken();  in TEST_F()  local
314   Context.addFlowConditionConstraint(FC, X);  in TEST_F()
318       Context.buildAndSubstituteFlowCondition(FC, {{&X, &True}});  in TEST_F()
323       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
333   auto &FC = Context.makeFlowConditionToken();  in TEST_F()  local
334   Context.addFlowConditionConstraint(FC, Context.getOrCreateNegation(X));  in TEST_F()
338       Context.buildAndSubstituteFlowCondition(FC, {{&X, &True}});  in TEST_F()
343       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
354   auto &FC = Context.makeFlowConditionToken();  in TEST_F()  local
355   Context.addFlowConditionConstraint(FC, Context.getOrCreateDisjunction(X, Y));  in TEST_F()
359       Context.buildAndSubstituteFlowCondition(FC, {{&X, &True}});  in TEST_F()
364       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
375   auto &FC = Context.makeFlowConditionToken();  in TEST_F()  local
376   Context.addFlowConditionConstraint(FC, Context.getOrCreateConjunction(X, Y));  in TEST_F()
380       Context.buildAndSubstituteFlowCondition(FC, {{&X, &True}});  in TEST_F()
385       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
396   auto &FC = Context.makeFlowConditionToken();  in TEST_F()  local
397   Context.addFlowConditionConstraint(FC, Context.getOrCreateImplication(X, Y));  in TEST_F()
401       Context.buildAndSubstituteFlowCondition(FC, {{&X, &True}});  in TEST_F()
406       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
411       Context.buildAndSubstituteFlowCondition(FC, {{&Y, &True}});  in TEST_F()
416       Context.buildAndSubstituteFlowCondition(FC, {{&Y, &False}});  in TEST_F()
428   auto &FC = Context.makeFlowConditionToken();  in TEST_F()  local
429   Context.addFlowConditionConstraint(FC, Context.getOrCreateIff(X, Y));  in TEST_F()
433       Context.buildAndSubstituteFlowCondition(FC, {{&X, &True}});  in TEST_F()
438       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
444       Context.buildAndSubstituteFlowCondition(FC, {{&Y, &True}});  in TEST_F()
449       Context.buildAndSubstituteFlowCondition(FC, {{&Y, &False}});  in TEST_F()
462   auto &FC = Context.makeFlowConditionToken();  in TEST_F()  local
463   Context.addFlowConditionConstraint(FC, Context.getOrCreateConjunction(X, Y));  in TEST_F()
465   auto &ForkedFC = Context.forkFlowCondition(FC);  in TEST_F()