Fabian fixed the bug involving the construction of an ARXLattice based
on a VirtualLattice