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)