Extra formals used to convey accessibility information and constrained status
of an actual are created when a subprogram is frozen. This may be too late in
the rare case where a primitive operation of a type is called within the
initialization procedure for the type. This can only happen if the primitive
in question has an access controlling parameter that is the current instance of
the type. In such a case the extra formals must be created before the analysis
of the initialization procedure, to ensure that the analysis of the call adds
the proper accessibility value to the actuals. In general the subprogram will
be frozen after the call in the initialization procedure.