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 Kernel_function.Set.contains_single_elt called_functions with
            None -> None
          | Some funct ->
                  begin
                    let fm =
                      Marks.get_marks project funct
                    in match fm with
                      | None -> None
                      | Some fm -> Some (funct, fm)
                  end
        end
    | _ -> Sparecode_params.fatal "this call is not a call"