Extraction of partial applications
Extraction of partial applications fails at least in the following case
let f (ghost x1 : int) (x2:int) (x3:int) = 53
let main () =
let g = f 1 in
let h = g 2 in
h 3
We should also add constructors to Mltree to differentiate between total and partial application.