Function equivalent 

pub fn equivalent(
    left: &Aig,
    right: &Aig,
    opts: &Options,
) -> Result<Report, MiterError>

Pair left and right by output name and decide every pair.