allkernels:Expression Integer->List Kernel Expression Integer
allkernels ex == 
   ker:=kernels ex
   arg:=concat [argument x for x in ker]
   concat(ker,concat [allkernels a for a in arg])