29   auto Expected = R"(B0)";  in TEST()  local
31   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
39   auto Expected = R"((not  in TEST()  local
41   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
49   auto Expected = R"((and  in TEST()  local
52   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
60   auto Expected = R"((or  in TEST()  local
63   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
71   auto Expected = R"((=>  in TEST()  local
74   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
82   auto Expected = R"((=  in TEST()  local
85   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
95   auto Expected = R"((or  in TEST()  local
104   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
115   auto Expected = R"((and  in TEST()  local
124   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
133   auto Expected = R"(True)";  in TEST()  local
134   EXPECT_THAT(debugString(*B, {{True, "True"}}), StrEq(Expected));  in TEST()
146   auto Expected = R"((or  in TEST()  local
161               StrEq(Expected));  in TEST()
171   auto Expected = R"((or  in TEST()  local
179               StrEq(Expected));  in TEST()
195   auto Expected = R"((or  in TEST()  local
204               StrEq(Expected));  in TEST()
219   auto Expected = R"(  in TEST()  local
228   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
238   auto Expected = R"(  in TEST()  local
249   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
258   auto Expected = R"(  in TEST()  local
270   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
282   auto Expected = R"(  in TEST()  local
297   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
309   auto Expected = R"(  in TEST()  local
329   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
341   auto Expected = R"(  in TEST()  local
361   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
375   auto Expected = R"(  in TEST()  local
403               StrEq(Expected));  in TEST()
418   auto Expected = R"(  in TEST()  local
443               StrEq(Expected));  in TEST()