(VAR ) (RULES f -> f )