RecursionError when converting deeply nested operations

A valid CH expression with 400 integer operands can raise
RecursionError: maximum recursion depth exceeded during term conversion.

from clingo import Function, Number, String, Tuple


def integer(value):
    return Function("val", [String("int"), Number(value)])


expression = integer(0)
for value in range(1, 400):
    expression = Function(
        "operation",
        [Function("disj", []), Tuple([expression, Tuple([integer(value), Tuple([])])])],
    )

facts = f"ensure(test,{expression})."

Start by running the nested-expression example in the issue and trace the term-conversion path that raises RecursionError. Identify the conversion entry point and relevant tests, then verify that a 400-operand expression converts successfully without breaking existing conversion behavior.