einfo.ads, einfo.adb (Is_Local_Anonymous_Access): New flag on anonymous access types...