Function cde_matches_fresh 

pub fn cde_matches_fresh<E: HazardEntity>(
    cde: &CDEngine<E>,
    base: &CDEngine<E>,
    dynamic_hazards: impl IntoIterator<Item = Hazard<E>>,
) -> bool

Checks that cde matches a fresh copy of base with dynamic_hazards registered: the same hazards, and an index that matches them.