Attribute Macro invariant

Source
#[invariant]