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