LeftSide
SummandList* LeftSide();
SummandList* leftSide = constraint->LeftSide();
modifiedConstraint->LeftSide()->AddItem(
fLinearSpec->RemoveVariable(con->LeftSide()->ItemAt(0)->Var());
SummandList* leftSide = constraint->LeftSide();
SummandList* orgSummands = constraint->LeftSide();
SummandList* summands = constraint->LeftSide();
SummandList* summands = constraint->LeftSide();
SummandList* summands = constraint->LeftSide();
SummandList* summands = constraint->LeftSide();
SummandList* leftSide = constraint->LeftSide();
SummandList* leftSide = constraint->LeftSide();
SummandList* leftSide = constraint->LeftSide();