change naming of a test to match others

Author: Disakek

frontend/src/test/java/org/abs_models/frontend/typesystem/SecrecyTypeTests.java

@@ -233,8 +233,8 @@ public void toyVoting_flow_sensitive() throws Exception {
     }
 
     @Test
-    public void interLoopLeak() throws Exception {
-        String fileName = "abssamples/SecrecyTypeTests/failingtests/InterLoopLeakExampleAnnotated.abs";
+    public void whileInterLoopLeak() throws Exception {
+        String fileName = "abssamples/SecrecyTypeTests/failingtests/WhileInterLoopLeak.abs";
         Model m = assertParseFileOk(fileName);
 
         assertEquals(loadExpectedErrors(fileName.replace(".abs", ".txt")), getLinesAndErrors(m.getTypeErrors()));