Explicitly disallow index for comparison expressions with quantifiers