[cbc] First Event-B Homework