print the number of transitions only in destructor