extract variables also from nested quantifiers