MAYBE

Problem:
 f(x) -> f(g(x))

Proof:
 String Reversal Processor:
  f(x) -> g(f(x))
  DP Processor:
   DPs:
    f#(x) -> f#(x)
   TRS:
    f(x) -> g(f(x))
   Open