MAYBE
Time: 0.026385
TRS:
 {      f(x, x) -> f(i x, g g x),
        f(x, y) -> x,
      f(x, i x) -> f(x, x),
  f(i x, i g x) -> a(),
            g x -> i x}
 DP:
  DP:
   {  f#(x, x) -> f#(i x, g g x),
      f#(x, x) -> g# x,
      f#(x, x) -> g# g x,
    f#(x, i x) -> f#(x, x)}
  TRS:
  {      f(x, x) -> f(i x, g g x),
         f(x, y) -> x,
       f(x, i x) -> f(x, x),
   f(i x, i g x) -> a(),
             g x -> i x}
  UR:
   {g x -> i x}
   EDG:
    {(f#(x, i x) -> f#(x, x), f#(x, i x) -> f#(x, x))
     (f#(x, i x) -> f#(x, x), f#(x, x) -> g# g x)
     (f#(x, i x) -> f#(x, x), f#(x, x) -> g# x)
     (f#(x, i x) -> f#(x, x), f#(x, x) -> f#(i x, g g x))
     (f#(x, x) -> f#(i x, g g x), f#(x, x) -> f#(i x, g g x))
     (f#(x, x) -> f#(i x, g g x), f#(x, x) -> g# x)
     (f#(x, x) -> f#(i x, g g x), f#(x, x) -> g# g x)
     (f#(x, x) -> f#(i x, g g x), f#(x, i x) -> f#(x, x))}
    STATUS:
     arrows: 0.500000
     SCCS (1):
      Scc:
       {  f#(x, x) -> f#(i x, g g x),
        f#(x, i x) -> f#(x, x)}
      
      SCC (2):
       Strict:
        {  f#(x, x) -> f#(i x, g g x),
         f#(x, i x) -> f#(x, x)}
       Weak:
       {      f(x, x) -> f(i x, g g x),
              f(x, y) -> x,
            f(x, i x) -> f(x, x),
        f(i x, i g x) -> a(),
                  g x -> i x}
       Fail