Numerical inequalities abduction beyond fully maximal. Test suite dummy for the order sort.