FloatExp[] vars = _vars.data();
    for(int i=0; i < vars.length; i++)
    {
      FloatExp vari = (FloatExp)vars[i];
      double mini = vari.min();
      double maxi = vari.max();
      double new_min = value - (sum_max - maxi);
      if (new_min > mini)
      {
        vari.setMin(new_min);
      }
      double new_max = value - (sum_min - mini);
      if (new_max < maxi)
      {
        vari.setMax(new_max);
      }
    }
  }