moving preExecute and postExecute to the main ReasonerStage interface so
that executors can call printInfo before postExecute
fixed counters for initialization rules, refactored the code which wraps
stats around various visitors and listeners and moved it to
SaturationUtils
engine -> writer
fixed decomposition rule counters
small tweaks to benchmarking tasks to report stats