tests/iscc/lattice_width-jon_3

   1 P :=
   2 6 7
   3 1   1    1   -2   -1   -1    4
   4 1   0    0    1    1    1   -4
   5 1   0    0   -2   -1   -1    6
   6 1   2    0   -4   -3   -2   10
   7 1  -1    0    2    1    1   -4
   8 1  -3   -1    6    4    2  -12
   9 ;
  10 assert((lattice_width(P)) = { 1 });