WyCS: Minor tweak for Solver$native.compare #534
WyCS: Minor tweak for Solver$native.compare #534

This tweak could represent a bug fix, but I don't think it actually will
make any difference in practice.  However, it does make it clearer in
the code that this particular case is covered.

Whiley/WhileyCompiler