(VAR x )
(STRATEGY OUTERMOST)
(RULES 
        f(x, x) -> f(0, 1)
        0 -> 2
        1 -> 2
        f(x, 2) -> 2
        f(2, x) -> 2
        
)