Fix a bug with count() and quantification.
[auto] Merge from Compiler

    • #3fbc481 — Fix a bug with count() and quantification. (Ivan Enderlin, 2013-10-01)

---

Merge remote branch 'library-compiler/master'