Never lose your way: Introducing checkpointing in Kiro