Finished code for finding all 4 element CIB's in which the first two
elements {0, 1} form a meet semilattice.