(Ada) New function ada_is_access_to_unconstrained_array