[FEATURE MODIFIED] Program termiantes at checkpointing