Fix based on comments

Author: petr-bauch

testsuite/gnat2goto/tests/access-to-object/main.adb

@@ -3,14 +3,20 @@ procedure Main is
    type Day_Of_Month_Access is access all Day_Of_Month;
 
    -- funny case where the subtype-indication has subtype-mark
-   type C_String_Ptr is access String (1 .. Positive'Last);
+   type Restricted_Day_Of_Month_Access is access all Day_Of_Month range 10 .. 15;
 
    A : aliased Day_Of_Month;
    Ptr1 : Day_Of_Month_Access := A'Access;
    Ptr2 : Day_Of_Month_Access := A'Access;
+
+   Restricted_A : aliased Day_Of_Month range 10 .. 15 := 12;
+   Ptr3 : Restricted_Day_Of_Month_Access := Restricted_A'Access;
 begin
    Ptr1.all := 2;
    pragma Assert (A=2); -- should succeed
    Ptr2.all := 5;
    pragma Assert (Ptr1.all=4); -- should fail
+
+   Ptr3.all := 11;
+   pragma Assert (Restricted_A = 11); -- should succeed
 end;

testsuite/gnat2goto/tests/access-to-object/test.out

@@ -1,3 +1,4 @@
-[main.assertion.1] line 13 assertion A=2: SUCCESS
-[main.assertion.2] line 15 assertion Ptr1.all=4: FAILURE
+[main.assertion.1] line 16 assertion A=2: SUCCESS
+[main.assertion.2] line 18 assertion Ptr1.all=4: FAILURE
+[main.assertion.3] line 21 assertion Restricted_A = 11: SUCCESS
 VERIFICATION FAILED