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"