finalB = combine(null, 0, finalB);
final ValueExpression withVariable = new Multiplication<Double>(finalA, Variable[1]);
final ValueExpression finalRightPart = new Addition<Double>(withVariable, finalB);
Predicate finalPred;
if (Parameter[0].isNegative())
finalPred = new ComparisonPredicate(compToAnalyse.getOperator(true), Variable[0],
finalRightPart);
else
finalPred = new ComparisonPredicate(compToAnalyse.getOperator(false), Variable[0],