[cbc] Second Event-B Homework