(STRATEGY
    INNERMOST)

(VAR
    x xs)
(DATATYPES
    A = µX.< Cons(X, X), Nil >)
(SIGNATURES
    immatcopy :: [A] -> A
    nestimeql :: [A] -> A
    number42 :: [A] -> A
    goal :: [A] -> A)
(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))