Remove useless with clauses and use clauses

Ref. eng/recordflux/RecordFlux#1864

Author: treiher

tests/spark/rflx-derivation_tests.adb

@@ -1,4 +1,3 @@
-with SPARK; use SPARK;
 with SPARK.Assertions; use SPARK.Assertions;
 
 with RFLX.RFLX_Builtin_Types;

tests/spark/rflx-enumeration_tests.adb

@@ -1,4 +1,3 @@
-with SPARK; use SPARK;
 with SPARK.Assertions; use SPARK.Assertions;
 
 with RFLX.RFLX_Builtin_Types;

tests/spark/rflx-ethernet_tests.adb

@@ -1,5 +1,5 @@
 pragma Warnings (Off, """Always_Terminates"" is not a valid aspect identifier");
-with SPARK; use SPARK;
+
 with SPARK.Assertions; use SPARK.Assertions;
 with SPARK.File_IO; use SPARK.File_IO;
 

tests/spark/rflx-expression_tests.adb

@@ -1,4 +1,3 @@
-with SPARK; use SPARK;
 with SPARK.Assertions; use SPARK.Assertions;
 
 with RFLX.RFLX_Builtin_Types;

tests/spark/rflx-fixed_size_tests.adb

@@ -1,4 +1,3 @@
-with SPARK; use SPARK;
 with SPARK.Assertions; use SPARK.Assertions;
 
 with RFLX.RFLX_Builtin_Types;

tests/spark/rflx-in_ethernet_tests.adb

@@ -1,4 +1,3 @@
-with SPARK; use SPARK;
 with SPARK.Assertions; use SPARK.Assertions;
 with SPARK.File_IO; use SPARK.File_IO;
 

tests/spark/rflx-in_ipv4_tests.adb

@@ -1,4 +1,3 @@
-with SPARK; use SPARK;
 with SPARK.Assertions; use SPARK.Assertions;
 with SPARK.File_IO; use SPARK.File_IO;
 

tests/spark/rflx-in_tlv_tests.adb

@@ -1,4 +1,3 @@
-with SPARK; use SPARK;
 with SPARK.Assertions; use SPARK.Assertions;
 
 with RFLX.RFLX_Builtin_Types;

tests/spark/rflx-ipv4_tests.adb

@@ -1,6 +1,5 @@
 pragma Style_Checks ("L18");
 
-with SPARK; use SPARK;
 with SPARK.Assertions; use SPARK.Assertions;
 with SPARK.File_IO; use SPARK.File_IO;
 

tests/spark/rflx-sequence_tests.adb

@@ -1,4 +1,3 @@
-with SPARK; use SPARK;
 with SPARK.Assertions; use SPARK.Assertions;
 
 with RFLX.RFLX_Builtin_Types;