Remove Emacs package: ecb
(require 'shm-case-split) make a keybinding for shm/case-split
No need to set proof-three-window-mode-policy as its original value was 'smart