LoopUnrollingScp: Finished. An example program has been supercompiled.