is a finalised redefinition of the corresponding
virtual process type
in the super block type, and it is not virtual, so that it can not be redefined in further subtypes of this block type.
A final redefinition of the process type must be a subtype of the type identified in the virtuality constraint.
Z.100 (virtual types)