YES
Time: 0.009474
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)
     (mark# h X -> a__h# X, a__h# d() -> a__g# c())
     (a__g# X -> a__h# X, a__h# d() -> a__g# c())
     (a__h# d() -> a__g# c(), a__g# X -> a__h# X)}
    STATUS:
     arrows: 0.840000
     SCCS (1):
      Scc:
       {a__h# d() -> a__g# c(),
          a__g# X -> a__h# X}
      
      
      
      
      SCC (2):
       Strict:
        {a__h# d() -> a__g# c(),
           a__g# X -> a__h# X}
       Weak:
       {  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}
       POLY:
        Mode: weak, max_in=1, output_bits=-1, dnum=1, ur=true
        Interpretation:
         [a__h](x0) = x0 + 1,
         
         [a__g](x0) = 0,
         
         [mark](x0) = 0,
         
         [g](x0) = 0,
         
         [h](x0) = 0,
         
         [d] = 1,
         
         [a__c] = 0,
         
         [c] = 0,
         
         [a__h#](x0) = x0,
         
         [a__g#](x0) = x0 + 1
        Strict:
         a__g# X -> a__h# X
         1 + 1X >= 0 + 1X
         a__h# d() -> a__g# c()
         1 >= 1
        Weak:
         mark h X -> a__h X
         0 + 0X >= 1 + 1X
         mark g X -> a__g X
         0 + 0X >= 0 + 0X
         mark c() -> a__c()
         0 >= 0
         mark d() -> d()
         0 >= 1
         a__c() -> c()
         0 >= 0
         a__c() -> d()
         0 >= 1
         a__g X -> g X
         0 + 0X >= 0 + 0X
         a__g X -> a__h X
         0 + 0X >= 1 + 1X
         a__h d() -> a__g c()
         2 >= 0
         a__h X -> h X
         1 + 1X >= 0 + 0X
       SCCS (0):