Function push_unique 

fn push_unique<P: PartialEq, A>(
    acc: &mut Vec<ShareResolution<P, A>>,
    resolution: ShareResolution<P, A>,
)

Appends a resolution unless an equal one is already present.