LoopUnrollingScp: sscp-total.