Function NumComponents 

pub fn NumComponents<T>(num: &mut T) -> OnDiscoverRootVertex<Add1<'_, T>>
where
    T: Counter + Zero,