if (var.hasValue()) {
valueExpr = new ValueConstant(var.getValue());
}
else if (explicit) {
// only generate bnodes in case of an explicit constructor
valueExpr = new BNodeGenerator();
}
if (valueExpr != null) {
extElemMap.put(var, new ExtensionElem(valueExpr, var.getName()));
}