let
is_diseq s x y = (is_equal s x y =
Three
.
No
)