memory leak in ASSUME (from master)
memory leak in Eval (from master)