GenericConstraintSurplus