Added tests in SortedEquaSetSpec to ensure TreeEquaSet splitAt method return type uses TreeEquaSet.