Test case for lattice-to-set conversion behavior.