The result when the Constraint could not be added to the Solver because it was already present in the solver.