Goal:
  
  ============================
   (forall x y z : t, lt x y -> lt y z -> lt x z)


DEBUG:Going to execute:
<coq-core.plugins.ltac::exact@0> $1
DEBUG LTAC Evaluated term: Logic.eq_refl
DEBUG LTAC Evaluated term: Logic.eq_sym
DEBUG LTAC Evaluated term: Logic.eq_trans