Commenting reviewing the Inference object of CSPSolver