(STRATEGY
    INNERMOST)

(VAR
    x1)
(RULES
    main(S(x1)) -> x1
    main(0()) -> 0())