Raises an error if a solution is unbounded, unfeasible, or undefined.