Dealing with non-constructive specifications involving quantifiers