Goal:
  
  x1 : V.t
  n1 : Z
  y1 : V.t
  x2 : V.t
  n2 : Z
  y2 : V.t
  x3 : V.t
  n3 : Z
  y3 : V.t
  H1 : lt (x1, n1, y1) (x2, n2, y2)
  H2 : lt (x2, n2, y2) (x3, n3, y3)
  ============================
   (lt (x1, n1, y1) (x3, n3, y3))


DEBUG:Going to execute:
PTRDEBUGTACcbn in *