Event-B/Namespaces