R

↳Dependency Pair Analysis

F(x) -> F(f(x)) F(x) -> F(x)

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

F(x) -> F(x)F(x) -> F(f(x))

f(x) -> f(f(x))