Tentatively added integration constraint
Additional curvegen: literal