(VAR X Y) (RULES f(X) -> if(X,c) if(true,X) -> X if(false,X) -> Y )