LoopUnrollingScp: Finished. (Termination & correctness.)