*Fixed bug when the same element appears in several different kernel but is never assigned. It is no longer only fetched in the first kernel.
*Fixed bug in the kernel segmentation step : multiple operations of the same profile are now packed together. WARNING : for now it assumes the same size of the arguments.