Add test case for subprogram access parameters.

Author: tjj2017

testsuite/gnat2goto/tests/access_parameter/access_parameter.adb

@@ -0,0 +1,12 @@
+procedure Access_Parameter is
+
+   procedure P (A : access Integer) is
+   begin
+      A.all := A.all + 1;
+   end P;
+
+   I : aliased Integer := 1;
+begin
+   P (I 'Access);
+   pragma Assert (I = 2);
+end Access_Parameter;

testsuite/gnat2goto/tests/access_parameter/test.out

@@ -0,0 +1,3 @@
+[access_parameter.assertion.1] line 11 assertion I = 2: SUCCESS
+[p.assertion.1] line 5 Ada Check assertion: SUCCESS
+VERIFICATION SUCCESSFUL

testsuite/gnat2goto/tests/access_parameter/test.py

@@ -0,0 +1,3 @@
+from test_support import *
+
+prove()