TRS:
 {   a__g(X) -> a__h(X),
      a__c() -> d(),
   a__h(d()) -> a__g(c()),
  mark(g(X)) -> a__g(X),
  mark(h(X)) -> a__h(X),
   mark(c()) -> a__c(),
   mark(d()) -> d(),
     a__g(X) -> g(X),
     a__h(X) -> h(X),
      a__c() -> c()}
 MPO:
  Prec:
   d > a__g, 
   d > c, 
   a__h > h, 
   a__g > g, 
   a__g > a__h, 
   a__c > c, 
   a__c > d, 
   mark > a__c, 
   mark > a__g, 
   mark > a__h
   empty
  Strict:
   {}
   Weak:
    {}
  Qed