3747         const Environment &LoopBodyEnv = Results[1].second.Env;  in TEST()  local
3754             *cast<BoolValue>(LoopBodyEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3755         EXPECT_TRUE(LoopBodyEnv.flowConditionImplies(LoopBodyFooVal));  in TEST()
3784         const Environment &LoopBodyEnv = Results[1].second.Env;  in TEST()  local
3794             *cast<BoolValue>(LoopBodyEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3796             *cast<BoolValue>(LoopBodyEnv.getValue(*BarDecl, SkipPast::None));  in TEST()
3797         EXPECT_TRUE(LoopBodyEnv.flowConditionImplies(  in TEST()
3798             LoopBodyEnv.makeOr(LoopBodyBarVal, LoopBodyFooVal)));  in TEST()
3829         const Environment &LoopBodyEnv = Results[1].second.Env;  in TEST()  local
3836             *cast<BoolValue>(LoopBodyEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3837         EXPECT_TRUE(LoopBodyEnv.flowConditionImplies(LoopBodyFooVal));  in TEST()
3861         const Environment &LoopBodyEnv = Results[0].second.Env;  in TEST()  local
3867             *cast<BoolValue>(LoopBodyEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3868         EXPECT_FALSE(LoopBodyEnv.flowConditionImplies(LoopBodyFooVal));  in TEST()