initial commit of 4 element CIBs with semilattice and V(A) not SD-meet.