Checkpointing Data exchange between 1 and 2 OK. Crashing due to Predecessor fixing