Fix token count for hierarchical SDD.
Remove transition firings count.

The cached evaluation of symbolic model checking prevents an accurate counting.