extra variables also from nested quantifiers