MAYBE
Time: 0.002372
TRS:
 {  if(true(), X, Y) -> X,
   if(false(), X, Y) -> activate Y,
                 f X -> if(X, c(), n__f n__true()),
                 f X -> n__f X,
              true() -> n__true(),
          activate X -> X,
     activate n__f X -> f activate X,
  activate n__true() -> true()}
 DP:
  DP:
   { if#(false(), X, Y) -> activate# Y,
                   f# X -> if#(X, c(), n__f n__true()),
       activate# n__f X -> f# activate X,
       activate# n__f X -> activate# X,
    activate# n__true() -> true#()}
  TRS:
  {  if(true(), X, Y) -> X,
    if(false(), X, Y) -> activate Y,
                  f X -> if(X, c(), n__f n__true()),
                  f X -> n__f X,
               true() -> n__true(),
           activate X -> X,
      activate n__f X -> f activate X,
   activate n__true() -> true()}
  EDG:
   {(activate# n__f X -> activate# X, activate# n__f X -> f# activate X)
    (activate# n__f X -> activate# X, activate# n__f X -> activate# X)
    (activate# n__f X -> activate# X, activate# n__true() -> true#())
    (activate# n__f X -> f# activate X, f# X -> if#(X, c(), n__f n__true()))
    (if#(false(), X, Y) -> activate# Y, activate# n__f X -> f# activate X)
    (if#(false(), X, Y) -> activate# Y, activate# n__f X -> activate# X)
    (if#(false(), X, Y) -> activate# Y, activate# n__true() -> true#())}
   STATUS:
    arrows: 0.720000
    SCCS (1):
     Scc:
      {activate# n__f X -> activate# X}
     
     
     SCC (1):
      Strict:
       {activate# n__f X -> activate# X}
      Weak:
      {  if(true(), X, Y) -> X,
        if(false(), X, Y) -> activate Y,
                      f X -> if(X, c(), n__f n__true()),
                      f X -> n__f X,
                   true() -> n__true(),
               activate X -> X,
          activate n__f X -> f activate X,
       activate n__true() -> true()}
      Open