Aspect Invariant

This aspect is equivalent to pragma Invariant. It is a synonym for the language defined aspect Type_Invariant except that it is separately controllable using pragma Assertion_Policy.