The tests have an improved error message.

The differences are nothing to do with the changes made on this branch.
The testsuite and gnat2goto on the master branch must be out of sync!

Author: tjj2017

testsuite/gnat2goto/tests/function_pointer/test.out

@@ -1,6 +1,7 @@
+
 Standard_Output from gnat2goto test:
 ----------At: Do_Itype_Definition----------
-----------Unknown Ekind----------
+----------Unknown Ekind E_ACCESS_SUBTYPE----------
 N_Defining_Identifier "T6b" (Entity_Id=2491)
  Parent = <empty>
  Sloc = 8480  test.adb:13:4

testsuite/gnat2goto/tests/procedure_pointer/test.out

@@ -1,6 +1,6 @@
 Standard_Output from gnat2goto test:
 ----------At: Do_Itype_Definition----------
-----------Unknown Ekind----------
+----------Unknown Ekind E_ACCESS_SUBTYPE----------
 N_Defining_Identifier "T4b" (Entity_Id=2491)
  Parent = <empty>
  Sloc = 8525  test.adb:14:4