SyGuS v1 -> v2 translator generates non-conforming benchmark

[HanielB]

The benchmark General_plus10.sl does not conform to SyGuS 2.0 since it has applied constants, which is not allowed in the term language (section 2.6 of SyGuS-IF_2.0).

[SaswatPadhi]

Hello Haniel,

Thank you for the report.
I transferred this issue to our tools repo since we used an automatic translation script to generate the SyGuS 2.0 files.