Initial implementation of case splitting
- It doesn't handle vars correctly yet