Add failing test
Fix bug with quantifier expression
Merge pull request #38 from wcandillon/37

Fix bug with quantifier expression