YES
Time: 1.676680
TRS:
 {  a__f X -> f X,
  a__f g X -> g X,
    a__c() -> a__f g c(),
    a__c() -> c(),
  mark g X -> g X,
  mark c() -> a__c(),
  mark f X -> a__f X}
 DP:
  DP:
   {  a__c#() -> a__f# g c(),
    mark# c() -> a__c#(),
    mark# f X -> a__f# X}
  TRS:
  {  a__f X -> f X,
   a__f g X -> g X,
     a__c() -> a__f g c(),
     a__c() -> c(),
   mark g X -> g X,
   mark c() -> a__c(),
   mark f X -> a__f X}
  EDG:
   {(mark# c() -> a__c#(), a__c#() -> a__f# g c())}
   STATUS:
    arrows: 0.888889
    SCCS (0):