Integrate aiger.