Refactored CaseSplit.