Input TRS:
    1: a__g(X) -> a__h(X)
    2: a__c() -> d()
    3: a__h(d()) -> a__g(c())
    4: mark(g(X)) -> a__g(X)
    5: mark(h(X)) -> a__h(X)
    6: mark(c()) -> a__c()
    7: mark(d()) -> d()
    8: a__g(X) -> g(X)
    9: a__h(X) -> h(X)
    10: a__c() -> c()
Number of Rules: 10
Direct QWPOS(Sum) ... orients all.
	I(mark) = x1 + 5	sigma(mark) = [1]
	I(a__c) = 4
	I(a__g) = x1 + 2	sigma(a__g) = [1]
	I(a__h) = x1 + 1	sigma(a__h) = [1]
	I(c) = 0
	I(d) = 3
	I(g) = x1	sigma(g) = [1]
	I(h) = x1	sigma(h) = [1]
    PREC: a__c > mark = d = g > a__g = c = h > a__h
Number of Rules: 0