tests/iscc/lattice_width-jon_1

   1 P :=
   2 6 5
   3 1   1    0    0   -1
   4 1  20   -9   15  -41
   5 1  11   -3   18  -44
   6 1  -8    1   -6   32
   7 1  -4    3   -6   16
   8 1  -1    3   -3    4
   9 ;
  10 assert((lattice_width(P)) = { 3 });