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
let call_info =
match
Kernel_function.Hptset.contains_single_elt called_functions
with
| None -> None
| Some kf ->
match Marks.get_marks project kf with
| None ->
if Marks.kf_visible project kf
then Some (kf, (None,kf))
else None
| Some fm -> Some (kf, (Some fm,kf))
in call_info
| _ -> Sparecode_params.fatal "this call is not a call"