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