Corrected deep case-splitting behavior.