Empty_lattice_approximation loading ...