(GOAL COMPLEXITY)
(STARTTERM CONSTRUCTORBASED)
(VAR x xs y ys )
(STRATEGY INNERMOST)
(RULES 
        append(Cons(x, xs), ys) -> Cons(x, append(xs, ys))
        append(Nil, ys) -> ys
        goal(x, y) -> append(x, y)
        
)