Renamer stats: 5 interfaces read
	       0 class decls imported, out of 17 read
	       0 data decls imported (of which 0 abstractly), out of 9 read
	       0 newtype decls imported (of which 0 abstractly), out of 0 read
	       0 type synonym decls imported, out of 5 read
	       0 value signatures imported, out of 1098 read
	       0 instance decls imported, out of 114 read


================================================================================
Renamer:
module Test where
{- rec -}
i{-r3J,x-}
    x_r3k   =   j{-r3H,x-}
		    x_r3k x_r3k
j{-r3H,x-}
    x_r3q y_r3s
	    =   k{-r3F,x-}
		    x_r3q x_r3q y_r3s
k{-r3F,x-}
    x_r3A y_r3C z_r3E
	    =   i{-r3J,x-}
		    z_r3E
{- rec -}
f{-r3K,x-}
    x_r3i   =   g{-r3I,x-}
		    x_r3i x_r3i
g{-r3I,x-}
    x_r3m y_r3o
	    =   h{-r3G,x-}
		    x_r3m x_r3m y_r3o
h{-r3G,x-}
    x_r3u y_r3w z_r3y
	    =   f{-r3K,x-}
		    z_r3y

NOTE: Simplifier still going after 4 iterations; bailing out.