Add test for object declaration statement fix

Author: NlightNFotis

testsuite/gnat2goto/tests/object_declaration_statement/object_declaration_statement.adb

@@ -0,0 +1,18 @@
+procedure Object_Declaration_Statement is
+  procedure Callit (A : Integer) is
+    -- Base Index type
+    type Range_Type is range 0 .. 79;
+    Index : Range_Type := 0;
+  begin
+    if A > 10 then
+      for I in Range_Type range (Index + 1) .. Range_Type'Last
+      loop
+        pragma Assert (I < 70);
+      end loop;
+      -- Intentional false assert
+      pragma Assert (A < -5);
+    end if;
+  end Callit;
+begin
+  Callit(12);
+end Object_Declaration_Statement;

testsuite/gnat2goto/tests/object_declaration_statement/test.opt

@@ -0,0 +1 @@
+ALL XFAIL gnat2goto fails because bounds are non constant expressions (#326)

testsuite/gnat2goto/tests/object_declaration_statement/test.py

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