Co-definite Set Constraints with Membership Expressions