R

↳Dependency Pair Analysis

F(x, x) -> F(a, b) F(x, x) -> B

↳DPs

→DP Problem 1

↳Remaining Obligation(s)

F(x, x) -> F(a, b)

f(x, x) -> f(a, b) b -> c