Modify split_exp() so as to support the symmetry of nil and ()