tests/union

   1 D 1
   2 4 4
   3 #  i  j  cst
   4 1  1  0   -1  # i >= 1
   5 1  0  1   -1  # j >= 1
   6 1 -1  0    8  # i <= 8
   7 1  0 -1   12  # j <= 12
   8 F 10
   9 1
  10 4 4
  11 #  i  j  cst
  12 1  1  0  -1  # i >= 1
  13 1  0  1  -1  # j >= 1
  14 1 -1  0  10  # i <= 10
  15 1  0 -1  10  # j <= 10
  16 116