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