Allow an empty clause when constructing a variable
[auto] Merge from Praspel

    • #15c49f9 — Allow an empty clause when constructing a variable (Ivan Enderlin, 2013-09-05)

---

Merge remote branch 'library-praspel/master'