Input TRS:
    1: f(x) -> x
   e1: a() ->= g(a())	[relative]
Dependency Pairs:
Number of SCCs: 0