fix for no-op assignments during Verilog synthesis by kroening · Pull Request #1103 · diffblue/hw-cbmc