method	int compare(Object, Object)
pre	obj1 != null
pre	init'ed(obj1.count)
pre	obj2 != null
pre	init'ed(obj2.count)
pre	(soft) obj1.name != null
pre	(soft) init'ed(obj2.name)
post	init'ed(return_value)

method	TagStatCountComparator getInstance()
pre	init'ed(instance)
post	return_value == instance
post	init'ed(return_value)