Fix bug with quantifier expression