(
  (good_pos (1 2 3))
  (bad_pos (0 -1 -2))

  (good_pos0 (0 1 2))
  (bad_pos0 (-1 -2 -3))

  (good_neg (-1 -2 -3))
  (bad_neg (0 1 2))

  (good_neg0 (0 -1 -2))
  (bad_neg0 (1 2 3))

  (good_bound (3 27 42))
  (bad_bound (2 43))
)
