removed some unused methods from AbstractReasonerState and replaced
getContext() calls in the concurrent saturation tests by
SaturationState.getContext()