289   EXPECT_DEATH(Context.buildAndSubstituteFlowCondition(FC, {{&True, &Other}}),  in TEST_F()
302   EXPECT_DEATH(Context.buildAndSubstituteFlowCondition(FC, {{&False, &Other}}),  in TEST_F()
318       Context.buildAndSubstituteFlowCondition(FC, {{&X, &True}});  in TEST_F()
323       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
338       Context.buildAndSubstituteFlowCondition(FC, {{&X, &True}});  in TEST_F()
343       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
359       Context.buildAndSubstituteFlowCondition(FC, {{&X, &True}});  in TEST_F()
364       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  in TEST_F()
380       Context.buildAndSubstituteFlowCondition(FC, {{&X, &True}});  in TEST_F()
385       Context.buildAndSubstituteFlowCondition(FC, {{&X, &False}});  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()
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()
471       Context.buildAndSubstituteFlowCondition(ForkedFC, {{&Z, &True}});  in TEST_F()
474   auto &ForkedFCWithYAndZTrue = Context.buildAndSubstituteFlowCondition(  in TEST_F()
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()
509       Context.buildAndSubstituteFlowCondition(JoinedFC, {{&X, &True}});  in TEST_F()
511       Context.buildAndSubstituteFlowCondition(JoinedFC, {{&Y, &True}});  in TEST_F()
517       Context.buildAndSubstituteFlowCondition(JoinedFC, {{&Z, &True}});  in TEST_F()
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()