(VAR )
(RULES 
c -> f
f -> g
)