Integrate case splitting and code generation in `M-t`