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