This options works very similar to the previous Vm option. The only difference is that lattice translations are used when checking equivalence of atoms. In fact, from the user's point of view, there are no noticable differences, repeat all the steps of the previous case, Section 2.6.8.5.