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)