#if USE_ASSIGNMENT_TRACKING
   if (globResults->assignOut != NULL && globResults->repeatCount < globResults->maxAssignRepeats && globResults->assignCount < globResults->maxAssigns) {
	    int vIdx;
			globResults->assignCount++;
      if (globResults->firstAssign) {
	      if (globResults->firstRepeat) {
				   fprintf(globResults->assignOut, "v %d\n", varNum);
					 globResults->firstRepeat = 0;
				}
		  	for (vIdx = 1; vIdx <= varNum; vIdx++)
					if (x[vIdx] == 1)
						fprintf(globResults->assignOut, "1 ");
					else
						fprintf(globResults->assignOut, "-1 ");
   	    fprintf(globResults->assignOut, "\n");
				globResults->firstAssign = 0;
			}
	 else
	    fprintf(globResults->assignOut, "%d\n", var - 1);
	 }
	 #endif