void () { assertEquals(CONSUMED, UNKNOWN.meet(CONSUMED)); assertEquals(OPEN, OPEN.meet(OPEN)); assertEquals(CONSUMED, CONSUMED.meet(CONSUMED)); assertEquals(BOTTOM, OPEN.meet(CONSUMED)); assertEquals(OPEN, OPEN.meet(UNKNOWN)); }