"acyclic_term( T" ) is iso
Succeeds if there are loops in the term T, that is, it is an infinite term.