MAYBE
Time: 0.030903
TRS:
 {    mark f X -> active f X,
      mark g X -> active g X,
      mark c() -> active c(),
      f mark X -> f X,
    f active X -> f X,
      g mark X -> g X,
    g active X -> g X,
  active f g X -> mark g X,
    active c() -> mark f g c()}
 DP:
  DP:
   {    mark# f X -> active# f X,
        mark# g X -> active# g X,
        mark# c() -> active# c(),
        f# mark X -> f# X,
      f# active X -> f# X,
        g# mark X -> g# X,
      g# active X -> g# X,
    active# f g X -> mark# g X,
      active# c() -> mark# f g c(),
      active# c() -> f# g c(),
      active# c() -> g# c()}
  TRS:
  {    mark f X -> active f X,
       mark g X -> active g X,
       mark c() -> active c(),
       f mark X -> f X,
     f active X -> f X,
       g mark X -> g X,
     g active X -> g X,
   active f g X -> mark g X,
     active c() -> mark f g c()}
  EDG:
   {(f# active X -> f# X, f# active X -> f# X)
    (f# active X -> f# X, f# mark X -> f# X)
    (g# active X -> g# X, g# active X -> g# X)
    (g# active X -> g# X, g# mark X -> g# X)
    (active# f g X -> mark# g X, mark# g X -> active# g X)
    (mark# f X -> active# f X, active# f g X -> mark# g X)
    (mark# c() -> active# c(), active# c() -> mark# f g c())
    (mark# c() -> active# c(), active# c() -> f# g c())
    (mark# c() -> active# c(), active# c() -> g# c())
    (active# c() -> mark# f g c(), mark# f X -> active# f X)
    (g# mark X -> g# X, g# mark X -> g# X)
    (g# mark X -> g# X, g# active X -> g# X)
    (f# mark X -> f# X, f# mark X -> f# X)
    (f# mark X -> f# X, f# active X -> f# X)}
   STATUS:
    arrows: 0.884298
    SCCS (2):
     Scc:
      {  g# mark X -> g# X,
       g# active X -> g# X}
     Scc:
      {  f# mark X -> f# X,
       f# active X -> f# X}
     
     
     
     
     
     
     
     
     SCC (2):
      Strict:
       {  g# mark X -> g# X,
        g# active X -> g# X}
      Weak:
      {    mark f X -> active f X,
           mark g X -> active g X,
           mark c() -> active c(),
           f mark X -> f X,
         f active X -> f X,
           g mark X -> g X,
         g active X -> g X,
       active f g X -> mark g X,
         active c() -> mark f g c()}
      Open
     SCC (2):
      Strict:
       {  f# mark X -> f# X,
        f# active X -> f# X}
      Weak:
      {    mark f X -> active f X,
           mark g X -> active g X,
           mark c() -> active c(),
           f mark X -> f X,
         f active X -> f X,
           g mark X -> g X,
         g active X -> g X,
       active f g X -> mark g X,
         active c() -> mark f g c()}
      Open