3233         EXPECT_TRUE(EnvThen.flowConditionImplies(BarValThen));  in TEST()
3237         EXPECT_FALSE(EnvElse.flowConditionImplies(BarValElse));  in TEST()
3268         EXPECT_FALSE(EnvThen.flowConditionImplies(BarValThen));  in TEST()
3272         EXPECT_TRUE(EnvElse.flowConditionImplies(BarValElse));  in TEST()
3311           EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(BVal)));  in TEST()
3318           EXPECT_TRUE(Env.flowConditionImplies(CVal));  in TEST()
3325           EXPECT_TRUE(Env.flowConditionImplies(CVal));  in TEST()
3359         EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(BarVal)));  in TEST()
3393         EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(BarVal)));  in TEST()
3721         EXPECT_TRUE(ThenEnv.flowConditionImplies(ThenFooVal));  in TEST()
3725         EXPECT_TRUE(ElseEnv.flowConditionImplies(ElseEnv.makeNot(ElseFooVal)));  in TEST()
3755         EXPECT_TRUE(LoopBodyEnv.flowConditionImplies(LoopBodyFooVal));  in TEST()
3759         EXPECT_TRUE(AfterLoopEnv.flowConditionImplies(  in TEST()
3797         EXPECT_TRUE(LoopBodyEnv.flowConditionImplies(  in TEST()
3804         EXPECT_TRUE(AfterLoopEnv.flowConditionImplies(  in TEST()
3806         EXPECT_TRUE(AfterLoopEnv.flowConditionImplies(  in TEST()
3837         EXPECT_TRUE(LoopBodyEnv.flowConditionImplies(LoopBodyFooVal));  in TEST()
3841         EXPECT_TRUE(AfterLoopEnv.flowConditionImplies(  in TEST()
3868         EXPECT_FALSE(LoopBodyEnv.flowConditionImplies(LoopBodyFooVal));  in TEST()
3896                 EXPECT_FALSE(Env.flowConditionImplies(FooVal));  in TEST()
3897                 EXPECT_FALSE(Env.flowConditionImplies(Env.makeNot(FooVal)));  in TEST()
3927                 EXPECT_TRUE(Env.flowConditionImplies(FooVal));  in TEST()
3957                 EXPECT_TRUE(Env.flowConditionImplies(Env.makeNot(FooVal)));  in TEST()