[Ada] Support access types in GNATprove