Temporarily (?) undoing previous change because it is incompatible with old AIGER files generated by ABC.
