Propagate combinatorics to all clauses.

For “domain” coverage criterion, the combinatorics is now applied to all
clauses at the same time.