(VAR)
(RULES
f0(c0, c1) -> c2
c0 -> c3
c1 -> c4
c2 -> f0(c3, c1)
c2 -> f0(c0, c4)
c2 -> f0(c0, c1)
)