Part II: Polynomial Constraints

Create a set of polynomial constraints, reduce the original statement to a new one, create a composition polynomial and commit on it.