30   debugString(*B);  in TEST()
31   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
41   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
52   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
63   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
74   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
85   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
104   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
124   EXPECT_THAT(debugString(*B), StrEq(Expected));  in TEST()
134   EXPECT_THAT(debugString(*B, {{True, "True"}}), StrEq(Expected));  in TEST()
160   EXPECT_THAT(debugString(*B, {{Cond, "Cond"}, {Then, "Then"}, {Else, "Else"}}),  in TEST()
178   EXPECT_THAT(debugString(*B, {{True, "True"}, {False, "False"}}),  in TEST()
184   EXPECT_THAT(debugString(Constraints), StrEq(""));  in TEST()
203   EXPECT_THAT(debugString(Constraints, {{X, "X"}, {Y, "Y"}}),  in TEST()
228   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
249   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
270   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
297   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
329   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
361   EXPECT_THAT(debugString(Constraints, Result), StrEq(Expected));  in TEST()
401   EXPECT_THAT(debugString(Constraints, Result,  in TEST()
439   EXPECT_THAT(debugString(Constraints, Result,  in TEST()