Set valid step size of Event-B components, added diagram name and fixed diagram delete command