switched the types of rule and conclusion statistics counters and timers
from int to long to avoid numerical overflow with large ontologies