unit test for refinements
we should have unit tests and better documentation for our lattice refinements