fix the condition of tainting->rollbacking transition: if the checkpoint
list is empty then the exploration should stop