yosys/tests/aiger/and_to_bad_out.aig