fixed and generalised the implementation of map difference operation
proved kernelc list deallocate