(GOAL COMPLEXITY)
(STARTTERM CONSTRUCTOR-BASED)
(STRATEGY INNERMOST)


  

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