By InOut: Scope Name Type Inout Const
ResizeBy InOut: Scope Name Type Inout
SpecialAddrFound InOut: Scope Name Type Inout
InOut: Scope Name [...] Condition BOOL Inout Const msg
Elem_SetTransition InOut: Scope Name Type Inout pe Path
AddChecksum InOut: Scope Name Type Inout
Backup : BOOL InOut [...] Inout PN
: BOOL InOut [...] Return Init BOOL Inout
InOut: Scope Name [...] Condition BOOL Inout Const msg
InOut: Scope Name [...] Condition BOOL Inout Const msg