Goal:
  
  s : t
  s' : t
  e : match compare s s' with
      | Eq => true
      | _ => false
      end = true
  ============================
   (s = s')


DEBUG:Going to execute:
t; easy