YES
Time: 0.001096
TRS:
 {  a__h X -> h X,
  a__h d() -> a__g c(),
    a__g X -> a__h X,
    a__g X -> g X,
    a__c() -> d(),
    a__c() -> c(),
  mark d() -> d(),
  mark c() -> a__c(),
  mark g X -> a__g X,
  mark h X -> a__h X}
 DP:
  DP:
   {a__h# d() -> a__g# c(),
      a__g# X -> a__h# X,
    mark# c() -> a__c#(),
    mark# g X -> a__g# X,
    mark# h X -> a__h# X}
  TRS:
  {  a__h X -> h X,
   a__h d() -> a__g c(),
     a__g X -> a__h X,
     a__g X -> g X,
     a__c() -> d(),
     a__c() -> c(),
   mark d() -> d(),
   mark c() -> a__c(),
   mark g X -> a__g X,
   mark h X -> a__h X}
  UR:
   {}
   EDG:
    {(mark# g X -> a__g# X, a__g# X -> a__h# X)
     (a__h# d() -> a__g# c(), a__g# X -> a__h# X)}
    STATUS:
     arrows: 0.920000
     SCCS (0):