pub fn aligned_by_fraig( left: &Aig, left_latency: usize, right: &Aig, right_latency: usize, opts: &Options, ) -> Result<Report, MiterError>
aligned, decided by crate::fraig.
aligned
crate::fraig