extract variables also from nested quantifiers
Merge pull request #1344 from spechub/nested-quant

extra variables also from nested quantifiers