}
List<FuzzyLiteral> res = new ArrayList();
for (int i = 0; i < numberOfConstraints; i++) {
FuzzyExpression exp = getRandomExpression(variables, pBinary, pUnary, pVar, pConst, maxDepth);
double value = exp.eval(interpretation);
// double upperbound = ceil(value + rand.nextDouble()*(1-value));
// double lowerbound = floor(rand.nextDouble()*value);
double upperbound = ceil(value);
double lowerbound = floor(value);
res.add(new FuzzyLiteral(lowerbound, upperbound, exp));