Input TRS:
    1: f(X) -> if(X,c(),f(true()))
    2: if(true(),X,Y) -> X
    3: if(false(),X,Y) -> Y
Number of Rules: 3
Direct QKBOS(Sum) ... failed.