NOTE: This analysis module is currently under development and is highly unstable. The #[allow(unused)] attribute is applied to suppress excessive lint warnings. Once the analysis stabilizes, this marker should be removed.