[bug] hwmcc16 6s*.aig files

[wsc1]

trafficstars

There is something wrong with the parsing of hwmcc16/6s*aig. aiger files. So far, we've observed there are lots of constants in these files, making them not reduced aigs and it seems this is likely the source of the problems.