Formal equiv diff core_net_or_var.v

[alaindargelas]

Test sv2v/test/core/net_or_var.v ./run_formal_verif.sh test=core_net_or_var.v

All of the signed constants are mishandled by the plugin.