Class NonProductLatticeCounterExample

A data structure that provides counterexample information when a product lattice
ontology CPO is tested to see if it is a lattice. If it is not a lattice, it is
because at least one of its component ontologies is not a lattice.