(GOAL COMPLEXITY)
(STARTTERM CONSTRUCTORBASED)
(VAR x x' xs y )
(STRATEGY INNERMOST)
(RULES 
        power(x', Cons(x, xs)) -> mult(x', power(x', xs))
        mult(x', Cons(x, xs)) -> add0(x', mult(x', xs))
        add0(x', Cons(x, xs)) -> Cons(Cons(Nil, Nil), add0(x', xs))
        power(x, Nil) -> Cons(Nil, Nil)
        mult(x, Nil) -> Nil
        add0(x, Nil) -> x
        goal(x, y) -> power(x, y)
        
)