changed EventB GUI to modify use of the event-b parser