Goal:
    ys : t
  ============================
   (eqb EmptyString ys =
    match compare EmptyString ys with
    | Eq => true
    | _ => false
    end)


DEBUG:Going to execute:
<coq-core.plugins.ssreflect::ssrtclintros@0> arg