better formating of Event-B elements