merged event-b gui to main gui