tests/iscc/count/union

   1 D :=
   2 2
   3 4 4
   4 #  i  j  cst
   5 1  1  0   -1  # i >= 1
   6 1  0  1   -1  # j >= 1
   7 1 -1  0    8  # i <= 8
   8 1  0 -1   12  # j <= 12
   9 4 4
  10 #  i  j  cst
  11 1  1  0  -1  # i >= 1
  12 1  0  1  -1  # j >= 1
  13 1 -1  0  10  # i <= 10
  14 1  0 -1  10  # j <= 10
  15 ;
  16 assert((card D) == { 116 });