Split on symbolic empty set in test position