greedySplitIntoWordsCI with choices Spike, shortening [dev.]