Added comments about the state of arg0 in term_eval.