Move nested subprograms referenced by 'Access to outside, compatibility with pragma Restrictions (No_Implicit_Dynamic_Code), but examples are still not