* Fixed bug when same kernel called with different arguments.
/!\ Unfortunately, kernels sources have to be always generated as of now because this is when the mapping of the arguments takes place. /!\