Input TRS:
    1: and(tt(),X) -> activate(X)
    2: plus(N,0()) -> N
    3: plus(N,s(M)) -> s(plus(N,M))
    4: activate(X) -> X
Number of Rules: 4
Direct POLO(mSum) ... failed.