Positive Supercompilation for a Higher-Order Call-By-Value Language