Add `isCheckpointed` field and checkpoint().