yosys/tests/aiger/or_.aig