Create tcs_terms.txt and add convex, polytope, and slack variable definitions