Result unknownConstraint = const Result._('Unknown constraint')

The result when the Constraint could not be removed from the solver because it was not present in the Solver to begin with.