TSort doesn't cover the mutual recursion case, where two or more messages can refer to each other.