Dhruv Makwana

I've run into the same problem - would appreciate/be glad to help in speeding this along.

> (FYI, unfortunately we can't give them the best tool, which is Rust's type system. Rust's linear types will track each mutable array, and if we borrow an array with...

[mwe2.smt.txt](https://github.com/user-attachments/files/16868364/mwe2.smt.txt) another example exhibiting similar behaviour ```smt (set-option :print-success true) (set-option :produce-models true) (declare-datatype cn_tuple_0 ((cn_tuple_0))) (declare-datatype cn_tuple_1 (par (a0) ((cn_tuple_1 (cn_get_0_of_1 a0))))) (declare-datatype cn_tuple_2 (par (a0 a1) ((cn_tuple_2 (cn_get_0_of_2...

I tried doing this the container has this issue that the PATH is hardcoded to node 18. So I made a new container based on the one I wanted and...