Predicate *predicate =new PredicateOperator(LT, sarray, 2);
Element * parray[]={elem1, elem2};
BooleanPredicate * boolean=new BooleanPredicate(predicate, parray, 2, NULL);
{//Adding new elements and boolean/predicate to solver regarding memory management
This->solver->allBooleans.push(boolean);
This->solver->allPredicates.push(predicate);
Predicate *predicate =new PredicateOperator(LT, sarray, 2);
Element * parray[]={elem1, elem2};
BooleanPredicate * boolean=new BooleanPredicate(predicate, parray, 2, NULL);
{//Adding new elements and boolean/predicate to solver regarding memory management
This->solver->allBooleans.push(boolean);
This->solver->allPredicates.push(predicate);