Stable version for stack checkpoints in loop headers