MAYBE

Problem:
 f(X) -> if(X,c(),f(true()))
 if(true(),X,Y) -> X
 if(false(),X,Y) -> Y

Proof:
 DP Processor:
  DPs:
   f#(X) -> f#(true())
   f#(X) -> if#(X,c(),f(true()))
  TRS:
   f(X) -> if(X,c(),f(true()))
   if(true(),X,Y) -> X
   if(false(),X,Y) -> Y
  EDG Processor:
   DPs:
    f#(X) -> f#(true())
    f#(X) -> if#(X,c(),f(true()))
   TRS:
    f(X) -> if(X,c(),f(true()))
    if(true(),X,Y) -> X
    if(false(),X,Y) -> Y
   graph:
    f#(X) -> f#(true()) -> f#(X) -> f#(true())
    f#(X) -> f#(true()) -> f#(X) -> if#(X,c(),f(true()))
   SCC Processor:
    #sccs: 1
    #rules: 1
    #arcs: 2/4
    DPs:
     f#(X) -> f#(true())
    TRS:
     f(X) -> if(X,c(),f(true()))
     if(true(),X,Y) -> X
     if(false(),X,Y) -> Y
    Open