(VAR  )
(STRATEGY OUTERMOST)
(RULES 
        g -> h
        c -> d
        h -> g
        
)