smallFeatureModel = FeatureExprLib.featureModelFactory().createFromDimacsFilePrefix(g.getOptarg(),"CONFIG_");
else
smallFeatureModel = FeatureExprLib.featureModelFactory().createFromDimacsFilePrefix(g.getOptarg(),"");
} else if (c == FM_FEXPR) { //--featureModelFExpr
checkFileExists(g.getOptarg());
FeatureExpr f = new FeatureExprParserJava(FeatureExprLib.l()).parseFile(g.getOptarg());
if (smallFeatureModel == null)
smallFeatureModel = FeatureExprLib.featureModelFactory().create(f);
else smallFeatureModel = smallFeatureModel.and(f);
// } else if (c == FM_CLASS) {//--featureModelClass
// try {