 used in the decomposition of chain and other elements.
A chain defines a factor over the parent element, each of the possible result elements of the chain,
and the overall chain element. This can produce a very large factor when there are many result elements.
This is solved by decomposing the chain factor into a product of factors, each of which contains the
parent element, one of the result elements, and the overall chain element.
</p></div></div>
    </li><li name="com.cra.figaro.algorithm.lazyfactored.