@Test
public void testIntersect() {

    assertEquals(A.intersect(B), Poset.NULL);
    assertEquals(A.intersect(A), A);
    assertEquals(ABC.intersect(AD), A);
    assertEquals(Poset.MAGIC.intersect(Poset.NULL), Poset.NULL);
}