Function always_equal 

pub fn always_equal(
    left: &Aig,
    right: &Aig,
    opts: &SeqOptions,
) -> Result<SeqReport, MiterError>

Whether the two circuits’ outputs agree at every clock from reset.