Added open Machine and Delete Event-B component actions