Goal:
  
  ============================
   (Transitive lt)


DEBUG:Going to execute:
PTRDEBUGTACintros [[x1 n1] y1] [[x2 n2] y2] [[x3 n3] y3] H1 H2