https://github.com/rust-lang/project-stable-mir/issues/95 When the upstream issue is fixed, remove the workaround found in /kani-compiler/src/kani_middle/reachability.rs for function [filter_crate_items](https://github.com/model-checking/kani/blob/b93e591556d1aaf054b73148604256521a0424fa/kani-compiler/src/kani_middle/reachability.rs#L77)
rust-lang/project-stable-mir#95
When the upstream issue is fixed, remove the workaround found in /kani-compiler/src/kani_middle/reachability.rs for function filter_crate_items