let collect_calls f el = let kf = Globals.Functions.get f in let fmls = Kernel_function.get_formals kf in debug "[collect_calls]"; collect_calls_rec (el,fmls)