I have elements that come from different instances of the lattice, but otherwise represent the same element. When I test for equality of these elements they have different memory address and so the test fails. As they do actually represent the same lattice element I would expect the tests to pass.