Goal:
    y : t  H : compare y y = Lt
  ============================
   False


DEBUG:Going to execute:
induction y; simpl in *