Begin adding PolynomialCoefChecker