added examples that demonstrate supercompilation abilities