new global option 'check_term_finiteness'
check finiteness in Term.evaluate()