Fixed bug in "read_verilog -ignore_redef"