added logical generator for checkpointreached