Update backends/btor/btor.cc; credit @boqwxp