Goal:
  
  x : t
  Heq_anonymous : false =
                  match compare x x with
                  | Eq => true
                  | _ => false
                  end
  ============================
   False


DEBUG:Going to execute:
<coq-core.plugins.ssreflect::ssrrewrite@0> $1 $2