ignoreQualifiers

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