Add more tests on lattice operations.