Generalize AIGER parser