Factor out constant creation for Polynomial SMT strings
Merge pull request #38 from jeroenk/const-smt

Factor out constant creation for Polynomial SMT strings