NamespaceBinder knownNamespaces = dynEnv.getStaticContext().getStaticalyKnownNamespaces();
// process attribute/namespace
for(AttributeConstructorBase att : attributes) {
if(att instanceof NamespaceConstructor) {
if(!hasNamespaceDecl) {
knownNamespaces.pushContext(); // TODO REVIEWME performance
hasNamespaceDecl = true;
}
NamespaceConstructor nc = ((NamespaceConstructor) att);
DMNamespace dmns = nc.eval(contextSeq, dynEnv);
dmelem.addNamespace(dmns);