add test coverage for uniqueness quantifier