_ArrayOfUSInt_Contains : BOOL Assertion [...] Name Type Initial [...] _ArrayOfUSInt_Contains BOOL TRUE

_LReal_GreaterEqual : BOOL Assertion [...] Out: Scope Name Type [...] _LReal_GreaterEqual BOOL TRUE

_LReal_LessEqual : BOOL Assertion [...] Out: Scope Name Type [...] _LReal_LessEqual BOOL TRUE

_DWord_LessEqual : BOOL Assertion [...] Out: Scope Name Type [...] _DWord_LessEqual BOOL TRUE

_Int_GreaterEqual : BOOL Assertion [...] Out: Scope Name Type [...] _Int_GreaterEqual BOOL TRUE

BOOL Assertion [...] Name Type Initial [...] _Int_LessEqual BOOL TRUE

_IElement_Equal : BOOL Assertion [...] Name Type Initial [...] _IElement_Equal BOOL TRUE

_IElement_Greater : BOOL Assertion [...] Out: Scope Name Type [...] _IElement_Greater BOOL TRUE

_IElement_GreaterEqual : BOOL Assertion [...] Out: Scope Name Type [...] _IElement_GreaterEqual BOOL TRUE

_IElement_IsNotNull : BOOL Assertion [...] Name Type Initial [...] _IElement_IsNotNull BOOL TRUE