Function equal_id 

pub fn equal_id<N: Copy + Eq + HashWork, W: Work>(
    left: N,
    right: N,
    execution: &W,
) -> Result<bool, MemoryError>

Compares two identities after admitting their complete HashWork.