First pass at lattice approximation for verification