PathElem_Copy InOut [...] EfAddDst ARRAY [0..1] OF Elem

DynState_ApplyDynState InOut: Scope Name [...] 3M.SMC_MAX_VEC_DIM - 1)] OF LREAL

information of the current node InOut: Scope

information of the current node InOut: Scope

piDestPos of an [...] . InOut: Scope Name

piStartPos of a [...] . InOut: Scope Name

number of deleted [...] overwritten, yet. InOut

state to a shift of [...] _delta. InOut: Scope Name

of the current node InOut: Scope

content of an existing [...] name. InOut: Scope [...] description of all possible