Function check_dead_code 

pub fn check_dead_code(
    checked: &[&Crate],
    context: &[&Crate],
    allowed: &AllowList,
    ceiling: f64,
) -> Result<Vec<Finding>, ModelError>