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"