Function root_cause 

pub fn root_cause(target: &UnitId, i: &Inputs<'_>) -> UnitId

The deepest divergent unit below target (§13 step 1).