let is_variadic kf =
let varf = Kernel_function.get_vi kf in
match varf.vtype with
| TFun (_, _, is_variadic, _) -> is_variadic
| _ -> Pdg_parameters.fatal
"The variable of a kernel_function has to be a function !"