during printing, derive previous handles from the tracked previous handle

Another baby step towards having the current handle and previous handle evolve
independently.

Github: related to #194 "clearer CEX output with scalarsets"