118                 EXPECT_TRUE(isa_and_nonnull<BoolValue>(FooVal));  in TEST()
2187                 EXPECT_TRUE(isa<BoolValue>(BarVal));  in TEST()
2215                 EXPECT_TRUE(isa<BoolValue>(FooVal));  in TEST()
2216                 EXPECT_TRUE(isa<BoolValue>(BarVal));  in TEST()
2660           const auto *FooVal = dyn_cast_or_null<BoolValue>(  in TEST()
2667           const auto *BarVal = dyn_cast_or_null<BoolValue>(  in TEST()
2674           const auto *QuxVal = dyn_cast_or_null<BoolValue>(  in TEST()
2711           const auto *FooVal = dyn_cast_or_null<BoolValue>(  in TEST()
2718           const auto *BarVal = dyn_cast_or_null<BoolValue>(  in TEST()
2725           const auto *QuxVal = dyn_cast_or_null<BoolValue>(  in TEST()
2764               dyn_cast_or_null<BoolValue>(Env.getValue(*ADecl, SkipPast::None));  in TEST()
2771               dyn_cast_or_null<BoolValue>(Env.getValue(*BDecl, SkipPast::None));  in TEST()
2778               dyn_cast_or_null<BoolValue>(Env.getValue(*CDecl, SkipPast::None));  in TEST()
2785               dyn_cast_or_null<BoolValue>(Env.getValue(*DDecl, SkipPast::None));  in TEST()
3232             *cast<BoolValue>(EnvThen.getValue(*BarDecl, SkipPast::None));  in TEST()
3236             *cast<BoolValue>(EnvElse.getValue(*BarDecl, SkipPast::None));  in TEST()
3267             *cast<BoolValue>(EnvThen.getValue(*BarDecl, SkipPast::None));  in TEST()
3271             *cast<BoolValue>(EnvElse.getValue(*BarDecl, SkipPast::None));  in TEST()
3309           auto &BVal = *cast<BoolValue>(Env.getValue(*BDecl, SkipPast::None));  in TEST()
3317           auto &CVal = *cast<BoolValue>(Env.getValue(*CDecl, SkipPast::None));  in TEST()
3324           auto &CVal = *cast<BoolValue>(Env.getValue(*CDecl, SkipPast::None));  in TEST()
3358         auto &BarVal = *cast<BoolValue>(Env.getValue(*BarDecl, SkipPast::None));  in TEST()
3392             *cast<BoolValue>(Env.getValue(*BarDecl, SkipPast::Reference));  in TEST()
3719         BoolValue &ThenFooVal =  in TEST()
3720             *cast<BoolValue>(ThenEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3723         BoolValue &ElseFooVal =  in TEST()
3724             *cast<BoolValue>(ElseEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3753         BoolValue &LoopBodyFooVal =  in TEST()
3754             *cast<BoolValue>(LoopBodyEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3757         BoolValue &AfterLoopFooVal =  in TEST()
3758             *cast<BoolValue>(AfterLoopEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3793         BoolValue &LoopBodyFooVal =  in TEST()
3794             *cast<BoolValue>(LoopBodyEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3795         BoolValue &LoopBodyBarVal =  in TEST()
3796             *cast<BoolValue>(LoopBodyEnv.getValue(*BarDecl, SkipPast::None));  in TEST()
3800         BoolValue &AfterLoopFooVal =  in TEST()
3801             *cast<BoolValue>(AfterLoopEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3802         BoolValue &AfterLoopBarVal =  in TEST()
3803             *cast<BoolValue>(AfterLoopEnv.getValue(*BarDecl, SkipPast::None));  in TEST()
3835         BoolValue &LoopBodyFooVal =  in TEST()
3836             *cast<BoolValue>(LoopBodyEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3839         BoolValue &AfterLoopFooVal =  in TEST()
3840             *cast<BoolValue>(AfterLoopEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3866         BoolValue &LoopBodyFooVal =  in TEST()
3867             *cast<BoolValue>(LoopBodyEnv.getValue(*FooDecl, SkipPast::None));  in TEST()
3895                     *cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None));  in TEST()
3926                     *cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None));  in TEST()
3956                     *cast<BoolValue>(Env.getValue(*FooDecl, SkipPast::None));  in TEST()