Fix for strings-exp: enable quantifiers