147   Context.addFlowConditionConstraint(FC, C);  in TEST_F()
154   Context.addFlowConditionConstraint(FC1, C1);  in TEST_F()
164   Context.addFlowConditionConstraint(FC2, C2);  in TEST_F()
175   Context.addFlowConditionConstraint(FC1, C1);  in TEST_F()
176   Context.addFlowConditionConstraint(FC1, C3);  in TEST_F()
179   Context.addFlowConditionConstraint(FC2, C2);  in TEST_F()
180   Context.addFlowConditionConstraint(FC2, C3);  in TEST_F()
195   Context.addFlowConditionConstraint(FC2, Context.getBoolLiteralValue(true));  in TEST_F()
200   Context.addFlowConditionConstraint(FC3, Context.getBoolLiteralValue(false));  in TEST_F()
206   Context.addFlowConditionConstraint(FC4, C1);  in TEST_F()
211   Context.addFlowConditionConstraint(  in TEST_F()
286   Context.addFlowConditionConstraint(FC, True);  in TEST_F()
299   Context.addFlowConditionConstraint(FC, False);  in TEST_F()
314   Context.addFlowConditionConstraint(FC, X);  in TEST_F()
334   Context.addFlowConditionConstraint(FC, Context.getOrCreateNegation(X));  in TEST_F()
355   Context.addFlowConditionConstraint(FC, Context.getOrCreateDisjunction(X, Y));  in TEST_F()
376   Context.addFlowConditionConstraint(FC, Context.getOrCreateConjunction(X, Y));  in TEST_F()
397   Context.addFlowConditionConstraint(FC, Context.getOrCreateImplication(X, Y));  in TEST_F()
429   Context.addFlowConditionConstraint(FC, Context.getOrCreateIff(X, Y));  in TEST_F()
463   Context.addFlowConditionConstraint(FC, Context.getOrCreateConjunction(X, Y));  in TEST_F()
466   Context.addFlowConditionConstraint(ForkedFC, Z);  in TEST_F()
499   Context.addFlowConditionConstraint(FC1, X);  in TEST_F()
502   Context.addFlowConditionConstraint(FC2, Y);  in TEST_F()
505   Context.addFlowConditionConstraint(JoinedFC, Z);  in TEST_F()