improvements to the context completion factory and engine. creating a
dedicated rule for initializing root in the context and moving the
context init code to the new SaturationUtils class.
creating contexts in the main saturation state when decomposing negative
subsumers during the gap filling stage