let called_info (project, _fm) call_stmt = match call_stmt.skind with
| Instr (Call (_, _fexp, _, _)) ->
let called_functions = Db.Value.call_to_kernel_function call_stmt in
(match Kernel_function.Hptset.contains_single_elt called_functions with
| None -> None
| Some funct ->
(match Marks.get_marks project funct with
| None -> None
| Some fm -> Some (funct, (fm,funct))))
| _ ->
Sparecode_params.fatal "this call is not a call"