[Ada] Set range checks for for 'Update on arrays in GNATprove expansion