Class ExpressionsBasedModel.Presolver