EventB code for COMP2111