issorted([a,b]) is same as !isless(b,a),
so it checks whether [a, b] is non-decreasing;
OTOH, issorted([a,b], lt=<=) is just isless(a,b) and to check strictly increasing.
The default lt(b,a), not lt(a,b) make the situation a little confusing.