rule and conclusion stats refactoring, took out all context stats into a
separate class. account for the number of modified contexts
desaturation -> deletion, saturation -> addition, for better readability
separately counting the number of produced conclusions
tweaks and renamings