Hello, maybe the question goes mostly to Eelco. I still have not understood why the evaluation fails if we remove the cache in evalExpr(). Isn't the aterm garbage collection working well? Are we using Aterms in such a way that the garbage collection cannot work? Regards, Lluís.