Test/pp/salvatore_new1.out

   1 ---------------------------------------
   2 Domain :
   3          - a  >= 0
   4          a + 1 >= 0
   5
   6 Vertices :
   7 [ 0 ]
   8 [ a+1 ]
   9 ---------------------------------------
  10 Domain :
  11          a  >= 0
  12           1 >= 0
  13
  14 Vertices :
  15 [ a+1 ]
  16 [ a ]