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