Update aiger module