(STRATEGY INNERMOST) (VAR x) (RULES iS_cps(no_a(x)) -> no_a(iS_cps(x)) iS_cps(no_cp(x)) -> no_cp(iS_cps(x)) iS_cps(no_lbeta(x)) -> no_lbeta(iS_cps(x)) iS_cps(no_a(x)) -> no_a(no_cp(x)) iS_cps(no_cp(x)) -> no_cp(no_cp(x)) iS_cps(no_lbeta(x)) -> no_lbeta(no_cp(x)) iS_cps(no_a(x)) -> no_a(x) iS_cps(no_cp(x)) -> no_cp(x) iS_cps(no_lbeta(x)) -> no_lbeta(x) iS_cpd(no_a(x)) -> no_a(iS_cpd(x)) iS_cpd(no_cp(x)) -> no_cp(iS_cpd(x)) iS_cpd(no_lbeta(x)) -> no_lbeta(iS_cpd(x)) iS_cpd(no_cp(x)) -> no_cp(iS_cpd(iS_cpd(x))) iS_cpd(no_a(x)) -> no_a(x) iS_cpd(no_cp(x)) -> no_cp(x) iS_cpd(no_lbeta(x)) -> no_lbeta(x) iS_cpd(no_lbeta(x)) -> no_lbeta(iS_cps(x)) iS_cps(Answer) -> Answer iS_cpd(Answer) -> Answer )