Avoid violations from declarations.

The declaration axiom is still available for checking by the profile
checker.