List<FuzzyLiteral> res = new ArrayList();

        for (int i = 0; i < numberOfConstraints; i++) {

            FuzzyExpression exp = getRandomExpression(variables, pBinary, pUnary, pVar, pConst, maxDepth);

//           double lowerbound = floor(rand.nextDouble()*value);

            double upperbound = ceil(value);

            double lowerbound = floor(value);

            res.add(new FuzzyLiteral(lowerbound, upperbound, exp));

           //PAT: door onderstaande twee lijnen in commentaar te zetten krijgen we

            //ook meerdere voorkomens van een var in 1 clause.

            // while (exp.getVariables().size() != nrVariablesPerClause)

           //     exp = getRandomExpression2(variables, pNegation, nrVariablesPerClause);

//           double lowerbound = floor(rand.nextDouble()*value);

            double upperbound;

            double lowerbound;

            if (rand.nextDouble() < 0.5) {

            FuzzyExpression exp = getRandomExpression2(variables, pNegation, nrVariablesPerClause);

           // while (exp.getVariables().size() != nrVariablesPerClause)

             //   exp = getRandomExpression2(variables, pNegation, nrVariablesPerClause);

            //PAT: door de twee bovenstaande lijnen in commentaar te zetten, krijg je ook clauses waar een bepaalde var meer dan 1 keer kan voorkomen

//           double lowerbound = floor(rand.nextDouble()*value);

            double upperbound;

            double lowerbound;

            upperbound = ceil(value);

                exp = getRandomExpression2(variables, pNegation, nrVariablesPerClause);

            double upperbound = 1;

            double lowerbound = 0;

            if (i < nrSatisfiableConstraints)

            else

                lowerbound = ceil(rand.nextDouble());

            res.add(new FuzzyLiteral(lowerbound, upperbound, exp));

        }

        return res;

                exp = getRandomExpression2(variables, pNegation, nrVariablesPerClause);

            double upperbound = 1;

            double lowerbound;

            if (rand.nextDouble() < 0.5)

            else

                lowerbound = floor(exp.eval(interpretation2));

            res.add(new FuzzyLiteral(lowerbound, upperbound, exp));

        }

            double lowerbound;

            if (rand.nextDouble() < 0.5)

                lowerbound = floor(exp.eval(interpretation1));

            else

            res.add(new FuzzyLiteral(lowerbound, upperbound, exp));

        }

        return res;

    }

                exp = getRandomMixedExpression(variables, pNegation, pMinimum, nrVariablesPerClause);

            double upperbound = 1;

            double lowerbound;

            if (rand.nextDouble() < 0.5)

            else

                lowerbound = floor(exp.eval(interpretation2));

            res.add(new FuzzyLiteral(lowerbound, upperbound, exp));

        }

            double lowerbound;

            if (rand.nextDouble() < 0.5)

                lowerbound = floor(exp.eval(interpretation1));

            else

            res.add(new FuzzyLiteral(lowerbound, upperbound, exp));

        }

        return res;

    }