(VAR ) (RULES f -> f g(b) -> c b -> c )