+ Polarity p = constraint->polarity;
+ uint pSize = constraint->parents.getSize();
+
+ if ( !edgeIsVarConst(result) && pSize > (uint)solver->getTuner()->getTunable(PROXYVARIABLE, &proxyparameter) ) {
+ Edge e = getNewVarSATEncoder();
+ generateProxy(cnf, result, e, p);
+ booledgeMap.put(constraint, e.node_ptr);
+ result = e;
+ }
+
+ return c.isNegated() ? constraintNegate(result) : result;