Goal:
    x : V.t  n : Z  y : V.t  H : lt (x, n, y) (x, n, y)
  ============================
   False


DEBUG:Going to execute:
cbn in H