[X]

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


