smtbmc: Avoid unnecessary deep copies during unrolling