Fixed the unknown constant error, verified that the arith_overflow example worked fine using the new solver.