Propagate combinatorics to all clauses.

For “domain” coverage criterion, the combinatorics is now applied to all
clauses at the same time.
[auto] Merge from Praspel

    • #186c66d — Propagate combinatorics to all clauses. (Ivan Enderlin, 2013-05-27)

---

Merge remote branch 'library-praspel/master'