R

↳Dependency Pair Analysis

F(a) -> F(a)

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

f(a) -> f(a) a -> b