Checkpointcontroller.py: new functions defined