MAYBE

'Pop* with parameter subtitution (timeout of 60.0 seconds)'
-----------------------------------------------------------
Answer:           MAYBE
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  f(g(i(a(), b(), b'()), c()), d()) ->
       if(e(), f(.(b(), c()), d'()), f(.(b'(), c()), d'()))
     , f(g(h(a(), b()), c()), d()) ->
       if(e(), f(.(b(), g(h(a(), b()), c())), d()), f(c(), d'()))}

Proof Output:    
  The input cannot be shown compatible