Fix for proofs in test025 (until I've added support for Decidable.Order)