(GOAL COMPLEXITY)
(STARTTERM CONSTRUCTORBASED)
(VAR x xs )
(STRATEGY INNERMOST)
(RULES 
        immatcopy(Cons(x, xs)) -> Cons(Nil, immatcopy(xs))
        nestimeql(Nil) -> number42(Nil)
        nestimeql(Cons(x, xs)) -> nestimeql(immatcopy(Cons(x, xs)))
        immatcopy(Nil) -> Nil
        number42(x) -> Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Cons(Nil, Nil))))))))))))))))))))))))))))))))))))))))))
        goal(x) -> nestimeql(x)
        
)