Added contracts for bus and BPC checkpointing