fix quantifier test