this is not backwards compatible: increase all minimal version numbers of rodin/event-b dependencies