(STRATEGY
    INNERMOST)

(VAR
    x16 x6)
(RULES
    even#1(0()) -> True()
    even#1(S(0())) -> False()
    even#1(S(S(x16))) -> even#1(x16)
    main(x6) -> even#1(x6))