guarantee unique names in testbench generation
apply bindConstantVar repeatedly in cleanup

needed to bind chains of constants into a single constant