Input TRS:
    1: f(a(),g(y),z) -> f(b(),g(y),g(y))
    2: f(b(),g(y),z) -> f(a(),y,z)
    3: a() -> b()
   e1: f(x(),y,z) ->= f(x(),y,g(z))	[relative]
Dependency Pairs:
   #1: # f(b(),g(y),z) -> # f(a(),y,z)
   #2: # f(b(),g(y),z) -> # a()
   #3: # f(a(),g(y),z) -> # f(b(),g(y),g(y))
   #4: # f(x(),y,z) -> # f(x(),y,g(z))	[relative]
Number of SCCs: 2
  SCC { #4 }
    POLO(Sum)... QLPOS... QWPOpS(mSum)... Mat2b... failed.