Function decide 

pub fn decide(aig: &Aig, pairs: &[(AigLit, AigLit)], opts: &Options) -> Decided

Decide a ≡ b for every pair of literals of aig, latches read as free values.