When the are many non-indexed variables the boole-shannon expansion can become very large. In that case it's better to perform a full non-indexed search rather than a two-phase search. We need to be able to set a limit for the number of cofactors in the resulting product.