Code quality improvment to simplify test QL

java/ql/integration-tests/posix-only/kotlin/compiler_arguments/compArgs.ql

@@ -5,7 +5,7 @@ private string getArgument(Compilation c, int i) {
     if exists(arg.indexOf("-Xplugin="))
     then result = "<PLUGINS>"
     else
-      if exists(string arg0 | arg0 = c.getArgument(i - 1) | arg0 = ["-classpath", "-jdk-home"])
+      if c.getArgument(i - 1) = ["-classpath", "-jdk-home"]
       then result = "<PATH>"
       else result = arg
   )