yosys/tests/various/sv_defines_mismatch.ys