code: public void removeLastConstraint()
  	{
  		if (constraints.isEmpty()) return;
  
  		MappedConst mc = constraints.get(constraints.size() - 1);
  		constraints.remove(mc);
  		if (mc.canGenerate() && mc.getInds()[mc.getInds().length - 1] == lastIndex)
  		{
  			setLastIndexToMaxFound();
  		}
  	}
docs: Removes the last constraint added to the pattern.