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 []