49 static constexpr int Key1 = 0;  variable
59   EXPECT_THAT(Lattice.insert({Key1, BooleanLattice(false)}), Pair(_, true));  in TEST()
63   EXPECT_THAT(Lattice.insert({Key1, BooleanLattice(false)}), Pair(_, false));  in TEST()
66   EXPECT_THAT(Lattice, UnorderedElementsAre(Pair(Key1, BooleanLattice(false)),  in TEST()
72   Lattice1.insert({Key1, BooleanLattice(true)});  in TEST()
83   Lattice1.insert({Key1, BooleanLattice(false)});  in TEST()
87   Lattice2.insert({Key1, BooleanLattice(true)});  in TEST()
91               UnorderedElementsAre(Pair(Key1, BooleanLattice(false)),  in TEST()
95   EXPECT_THAT(Lattice1, UnorderedElementsAre(Pair(Key1, BooleanLattice(true)),  in TEST()
101   Lattice.insert({Key1, BooleanLattice(false)});  in TEST()
105   EXPECT_THAT(Lattice, UnorderedElementsAre(Pair(Key1, BooleanLattice(false)),  in TEST()
111   Lattice1.insert({Key1, BooleanLattice(false)});  in TEST()
115   Lattice2.insert({Key1, BooleanLattice(true)});  in TEST()
119               UnorderedElementsAre(Pair(Key1, BooleanLattice(false)),  in TEST()
122   ASSERT_THAT(Lattice2, UnorderedElementsAre(Pair(Key1, BooleanLattice(true)),  in TEST()
126   EXPECT_THAT(Lattice2, UnorderedElementsAre(Pair(Key1, BooleanLattice(true)),  in TEST()
132   Lattice1.insert({Key1, BooleanLattice(true)});  in TEST()
137   EXPECT_THAT(Lattice1, UnorderedElementsAre(Pair(Key1, BooleanLattice(true)),  in TEST()
143   Lattice.insert({Key1, BooleanLattice(true)});  in TEST()
146   auto It = Lattice.find(Key1);  in TEST()
157   Lattice.insert({Key1, BooleanLattice(true)});  in TEST()
158   EXPECT_TRUE(Lattice.contains(Key1));  in TEST()