003_gcd: almost verifies
010_sort: updated sorted constraint.