Added trace path attribute to Event-B components to be able to persist a
trace.
Fixed incorrect value type setting from the Parameters dialog.