added contains (membership) feature to symbolic set compositions (only min and max-int) + test (second fails becaus missing infinity feature)