let called_info (project, _fm) call_stmt = match call_stmt.skind with
| Instr (Call (_, _fexp, _, _)) ->
begin
let called_functions = Db.Value.call_to_kernel_function call_stmt in
match called_functions with
| called_kf :: [] ->
begin
let fm =
Marks.get_marks project called_kf
in match fm with
| None -> None
| Some fm -> Some (called_kf, fm)
end
| _ -> None
end
| _ -> Sparecode_params.fatal "this call is not a call"