Runtime error when dealing w/ more formulas

[joaomhmpereira]

When dealing with a bigger number of formulas a fatal error/seg fault occurs.

For instance, in example incremental.ml (https://github.com/formalsec/ocaml-cvc5/blob/main/examples/incremental.ml), if the number of loop iterations is set to a higher number (e.g. 5000 iterations) we get the error:

Fatal error: exception Invalid_argument("Invalid term in 'children' at index 0, expected a term associated with the term manager of this solver") or simply a segmentation fault.