Fixed persistence of Event-B component configuration