Adding a toplevel option allowing to deactivate the term sharing in kernel
reduction.