let is_called =
  Is_Called.memo
    (fun kf ->
       try Value.is_reachable_stmt (Kernel_function.find_first_stmt kf)
       with Kernel_function.No_Statement -> false)