Avoid violations from declarations.

The declaration axiom is still available for checking by the profile
checker.
Merge remote-tracking branch 'upstream/master'