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