Let wp_cas_suc generate equality goal if the values are not convertible.

This is more consistent with wp_cas_fail.
1 job for master
Status Job ID Name Coverage
  Test
passed #390
coq
buildjob

00:03:25