diff --git a/org.fortiss.variability/src/org/fortiss/variability/analysis/ProductLineBaseAnalysis.java b/org.fortiss.variability/src/org/fortiss/variability/analysis/ProductLineBaseAnalysis.java
index 3ccf3d52f707eccba13c347c24f5f04a0d61931e..d1977a78985aff03b5b4747fa8256771e9011d44 100644
--- a/org.fortiss.variability/src/org/fortiss/variability/analysis/ProductLineBaseAnalysis.java
+++ b/org.fortiss.variability/src/org/fortiss/variability/analysis/ProductLineBaseAnalysis.java
@@ -249,7 +249,8 @@ public class ProductLineBaseAnalysis {
 
 			FuncDecl selFun = translation.eClass2SelectionFunction.get(cls);
 			BoolExpr selected = (BoolExpr)ctx.mkApp(selFun, var);
-			BoolExpr notNull = ctx.mkNot(ctx.mkEq(var, translation.eClass2NullElement.get(cls)));
+			BoolExpr notNull =
+					ctx.mkNot(ctx.mkEq(var, translation.getEClass2NullElement().get(cls)));
 
 			selExprs[i] = ctx.mkAnd(selected, notNull);
 		}
diff --git a/org.fortiss.variability/src/org/fortiss/variability/analysis/ProductLineBaseTranslation.java b/org.fortiss.variability/src/org/fortiss/variability/analysis/ProductLineBaseTranslation.java
index 162c1fa175c2d0b0e6a69adcbf49797e8a992c34..a492f4f4db3f7a44e238e33e77558365957cebd3 100644
--- a/org.fortiss.variability/src/org/fortiss/variability/analysis/ProductLineBaseTranslation.java
+++ b/org.fortiss.variability/src/org/fortiss/variability/analysis/ProductLineBaseTranslation.java
@@ -793,4 +793,9 @@ public class ProductLineBaseTranslation {
 	public Context getContext() {
 		return ctx;
 	}
+
+	/** Returns eClass2NullElement. */
+	public Map<EClass, Expr> getEClass2NullElement() {
+		return eClass2NullElement;
+	}
 }