Checkpointing SimpleValidator refinements.