yosys/tests/aiger/empty.aig