MAYBE
Time: 0.005494
TRS:
 { g(a(), X) -> f(b(), activate X),
         h X -> g(X, X),
     f(X, X) -> h a(),
  activate X -> X,
         a() -> b()}
 DP:
  DP:
   {g#(a(), X) -> f#(b(), activate X),
    g#(a(), X) -> activate# X,
          h# X -> g#(X, X),
      f#(X, X) -> h# a(),
      f#(X, X) -> a#()}
  TRS:
  { g(a(), X) -> f(b(), activate X),
          h X -> g(X, X),
      f(X, X) -> h a(),
   activate X -> X,
          a() -> b()}
  EDG:
   {(f#(X, X) -> h# a(), h# X -> g#(X, X))
    (g#(a(), X) -> f#(b(), activate X), f#(X, X) -> h# a())
    (g#(a(), X) -> f#(b(), activate X), f#(X, X) -> a#())
    (h# X -> g#(X, X), g#(a(), X) -> f#(b(), activate X))
    (h# X -> g#(X, X), g#(a(), X) -> activate# X)}
   STATUS:
    arrows: 0.800000
    SCCS (1):
     Scc:
      {g#(a(), X) -> f#(b(), activate X),
             h# X -> g#(X, X),
         f#(X, X) -> h# a()}
     
     SCC (3):
      Strict:
       {g#(a(), X) -> f#(b(), activate X),
              h# X -> g#(X, X),
          f#(X, X) -> h# a()}
      Weak:
      { g(a(), X) -> f(b(), activate X),
              h X -> g(X, X),
          f(X, X) -> h a(),
       activate X -> X,
              a() -> b()}
      Open