LoopUnrollingScp: abstracting away `unrollToInit`.