(VAR x )
(STRATEGY INNERMOST)
(RULES 
        a(d(x)) -> d(c(b(a(x))))
        b(c(x)) -> c(d(a(b(x))))
        a(c(x)) -> x
        b(d(x)) -> x
        
)