Add option to set the number of conjuncts of patterns where the shallow specialization rule can apply to. Shallow specialization is expensive on patterns with more than one conjunct, thus was disabled by default for large conjunctions. However in many cases it is tractable and useful, thus this option.
Add option to set the number of conjuncts of patterns where the shallow specialization rule can apply to. Shallow specialization is expensive on patterns with more than one conjunct, thus was disabled by default for large conjunctions. However in many cases it is tractable and useful, thus this option.