Fix TriviallyNonterminating classification