Positive supercompilation for a higher order call-by-value language