code: @Override
  	public int getVariableSize()
  	{
  		int size = 0;
  		for (MappedConst mc : con)
  		{
  			int m = max(mc.getInds());
  			if (m > size) size = m;
  		}
  		return size + 1;
  	}
docs: Checks the inner mapping of the wrapped constraints and figures the size.
  @return the size