Split function application

The program below will crash in the RC insertion. It is one of the assumptions that we have yet to satisfy, oopsie
```rizz

fun myfun x = 
    if x > 0 then
    fun y -> y + x + 1
    else 
    fun y -> x - 1 - y

fun entry p = 
    (1337, myfun 42 66)
```