Tests if the state is an identity of Lattice.merge, i.e., forall a with isEmpty(a) we require that a merge b == b. See Bottom for cases when an empty element can be generated.
Tests if the state is an identity of Lattice.merge, i.e., forall a with isEmpty(a) we require that a merge b == b. See Bottom for cases when an empty element can be generated.