Preferring lddmc_satcount_cached over lddmc_satcount for counting states when
using lddmc as vset implementation.