memory leak in ASSUME
memory leak in Eval