liquid-fixpoint-0.5.0.0: tests/pos/test00-par.fq

constraint:
  env [ ]
  lhs {v : int | [v = 10]}
  rhs {v : int | [v > 0]}
  id 1 tag []

constraint:
  env [ ]
  lhs {v : int | [v = 20]}
  rhs {v : int | [v > 0]}
  id 2 tag []

constraint:
  env [ ]
  lhs {v : int | [v = 20]}
  rhs {v : int | [v > 0]}
  id 3 tag []

constraint:
  env [ ]
  lhs {v : int | [v = 10]}
  rhs {v : int | [v > 0]}
  id 4 tag []

constraint:
  env [ ]
  lhs {v : int | [v = 20]}
  rhs {v : int | [v > 0]}
  id 5 tag []

constraint:
  env [ ]
  lhs {v : int | [v = 20]}
  rhs {v : int | [v > 0]}
  id 6 tag []