Bugfix Reasoner statistics.