Struct ignoreAttributes

Attribute that can be applied on identifiers in a signature that will let the model checker know not to take attributes in to account

struct ignoreAttributes ;