(VAR)
(RULES
c0 -> f0(c0, c1)
f0(c0, c1) -> f0(c1, c0)
)