Function aligned 

pub fn aligned(
    left: &Aig,
    left_latency: usize,
    right: &Aig,
    right_latency: usize,
    opts: &Options,
) -> Result<Report, MiterError>

Whether left’s outputs at clock left_latency equal right’s at clock right_latency, as functions of the clock-0 inputs they share by name, for every initial state of each and every later input.