cleanup assertions
cleanup eval (no closure has null env)