Function detect 

pub fn detect(
    unit: &FnUnit<'_>,
    imports: &Imports,
    span: &SpanIndex<'_>,
) -> Vec<Effect>

Detect world effects (IO, process, env, time, random, logging, panic) charged to unit’s own body, per the driver’s attribution rules.