Initial skeleton for case split in elisp
Obtain better information for case split