Representing Nonterminating Rewriting with F2μ