support quantifiers on value holes