aiger_dfa.equiv API documentation