Updating: improving UTFPL/eval_cloenv
Updating: minor changes