uint64_t set2[] = {2, 3};
Set* rangef1 = createSet(solver, 1, set2, 2);
Function * f1 = createFunctionOperator(solver, ADD, domain, 2, rangef1, IGNORE);
uint64_t set2[] = {2, 3};
Set* rangef1 = createSet(solver, 1, set2, 2);
Function * f1 = createFunctionOperator(solver, ADD, domain, 2, rangef1, IGNORE);