Since the deleted recordId is not reused so as to maintain the original sequence in records, the record is marked as invalid by a distinctive string pattern.
A validation rule to handle invalid messages in sequence diagrams has been introduced. The constraint for this rule can be found in this UML 2.2 specification