What happens if we have a NativeSolver that doesn't support checkpointing?