Debugging reference counting in BDDs.
Unicode hint added.