(VAR x)
(RULES
cd(TRUE, x) -> cd (x > 0, x - 1)
)