Loop peeling refactored.