(STRATEGY
    INNERMOST)

(VAR
    x8 x4 x2 x1)
(RULES
    fmap#2(Leaf(x8)) -> Leaf(S(x8))
    fmap#2(Node(x4,x2)) -> Node(fmap#2(x4),fmap#2(x2))
    main(x1) -> fmap#2(x1))