Move checkpoint and branch point past last loop