read_ilang ../bug.rtlil
synth
opt_expr
write_verilog bug.v
delete
read_verilog bug.v