Коллеги, вчитавшись в текст компилятора, а затем и в Сообщение о языке, я с удивлением обнаружил, что Super calls допустимы в отношении любой процедуры базового типа, а не только переопределяемой.

TYPE B = EXTENSIBLE RECORD END;
E = RECORD (B);

PROCEDURE (b: B) P, NEW, EXTENSIBLE; ...
PROCEDURE (b: B) Q, NEW, EXTENSIBLE; ...

PROCEDURE (e: E) P; BEGIN ...e.Q^... END P;
PROCEDURE (e: E) Q; BEGIN ...e.P^... END Q;
PROCEDURE (e: E) R, NEW; BEGIN ...e.P^; e.Q^... END R;

А я-то думал, что супервызовы возможно только из переопределяющей процедуры и только в адрес переопределяемой.

В связи с этим вопросы: 1) кто-нибудь этим пользуется? или пользовался?
2) какой вообще use case предполагается, для чего предназначена эта возможность в языке?