STree tail equivalence incorrect

[ZymoticB]

Since tail is a list, to properly check equivalence the lists must be sorted

[ZymoticB]

Ah, didn't know a pull request created an issue