SAT.getSatisfiableAssignment with prefer enabled features does not work correctly

[meinicke]

TypeChef/FeatureExprLib/src/main/scala/de/fosd/typechef/featureexpr/sat/SATFeatureExpr.scala

Line 129 in fb4d7ad

return Some((remainingInterestingFeatures.++(this.collectDistinctFeatureObjects).toList, disabledFeatures.toList))

The first entry always contains all features.