This is weird and shouldn't be hard coded like this.  If RISK needs special handling of the NameEx structure the reason should be understood and we should add a special esdl attribute or something to cause the specific behavior.  I think you can delete this here.