classify trivially-nonterminating (infinite) loops