ExecutionStateGatherer() class added