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)