lattice constraint 2 dosen't work