Renamed confusingly named parameter in Elem.notUndeclaringPrefixes