(STRATEGY
    INNERMOST)

(VAR
    x8 x7 x12 x14 x2 x6 x4 x3)
(RULES
    app_xss#1(Nil(),x8) -> x8
    app_xss#1(Cons(x7,x12),x14) -> Cons(x7,app_xss#1(x12,x14))
    map#2(app_xss(x2),Nil()) -> Nil()
    map#2(app_xss(x6),Cons(x4,x2)) -> Cons(app_xss#1(x6,x4)
                                          ,map#2(app_xss(x6),x2))
    main(x12,x3) -> map#2(app_xss(x12),x3))