It's for the use of structural equivalence in assignment of procedure
*variables*.
This is allowed already with the original wording of Assignment rule 7.
In the statement p1 := p2, the procedure variable p2 “is a name of a procedure whose formal parameters match those of Tv”.
br
Jörg