Checkpoints used by abductiveTP.