code: private void setLastIndexToMaxFound()
  	{
  		int max = -1;
  		for (MappedConst mc : constraints)
  		{
  			int[] ind = mc.getInds();
  			int last = ind[ind.length - 1];
  			if (last > max) max = last;
  		}
  		lastIndex = max;
  	}
docs: This method is used after removal of an generative constraint. Searching the remaining
  constraints, we decide the value of lastIndex.