Revise the error message for the constraint not supported yet in PolynomialProgram