Fix bug with quantifier expression

fixes #37