[bug] hwmcc16 6s*.aig files #1
Description
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.