NO
Input TRS:
      1: if(false(),X) -> Y
      2: f(X) -> if(X,c())
      3: if(true(),X) -> X
Extra variable in rule 1.