GetRangeConstraints
void GetRangeConstraints(const Variable*,
virtual void GetRangeConstraints(const Variable* var,
fLinearSpec.GetRangeConstraints(corners[j], &min, &max);
void GetRangeConstraints(const Variable* var,
fSolver->GetRangeConstraints(var, _min, _max);