-//Set* CSolver::addItemsToRange(Element* element, uint num, ...){
-// va_list args;
-// va_start(args, num);
-// element->getRange()
-// uint setSize = set->getSize();
-// uint newSize = setSize+ num;
-// uint64_t members[newSize];
-// for(uint i=0; i<setSize; i++){
-// members[i] = set->getElement(i);
-// }
-// for( uint i=0; i< num; i++){
-// uint64_t arg = va_arg(args, uint64_t);
-// members[setSize+i] = arg;
-// }
-// va_end(args);
-// return createSet(set->getType(), members, newSize);
-//}