[spec] Improve sorting on problem printing
Currently, problems are sorted based on the length of the ath, but in cases of a tied path, it would be helpful to also sort on :in (with longer ones first, indicating you got "farther" in the data).
Example before (other patches also applied here, so doesn't exactly match 1.9):
Here the "at" paths are all the same length but the "in" length is important and the longer one is most interesting (as it got the furthest).
Proposed: Sort first on "in" length, before the existing sort on "at".