pub fn equivalent( left: &Aig, right: &Aig, opts: &Options, ) -> Result<Report, MiterError>
Pair left and right by output name and decide every pair.
left
right