Function emit_dml_in_function_facts 

pub fn emit_dml_in_function_facts<I: IntoIterator<Item = UnitFactSite>>(
    store: &mut FactStore,
    prov: &FactProvenance,
    sites: I,
) -> usize

Emit DmlInFunction facts (QUAL007).