Updating: greatly improving UTFPL/eval_cloenv