Differentiate sharing of intermediates Passing intermediates to the head for propagation is expensive. It is now controlled by a strategy parameter.
Differentiate sharing of intermediates
Passing intermediates to the head for propagation is expensive.
It is now controlled by a strategy parameter.

zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb