auxiliary function to reset saturation and save contexts to debug the
reasoner