Respecting the supression of the definition of a rule