Positive Supercompilation for a Higher-Order Call-By-Value Language (Logical Methods in Computer Science, 2010)