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 buildjob #390
coq

00:03:25