Problems in checkpoints for recursive functions