[X]

f(X,X)  ->  f(a,b).
b  -> c.

