Add regression tests for generic type arg dependencies

Author: Matthias Güdemann

regression/cbmc-java/generics_type_param/FWrapper.class

@@ -0,0 +1,25 @@
+class IWrapper {
+    public int i;
+}
+
+class FWrapper {
+}
+
+class AWrapper {
+}
+
+class SimpleWrapper<T> {
+}
+
+public class GenericFields
+{
+  class SimpleGenericField  {
+    // IWrapper field; // for this to work, uncomment this line
+    SimpleWrapper<IWrapper> field_input;
+    public void foo() {
+    }
+    SimpleWrapper<IWrapper> f(SimpleWrapper<FWrapper> s, SimpleWrapper<AWrapper []> a) {
+      return new SimpleWrapper<>();
+    }
+  }
+}

regression/cbmc-java/generics_type_param/GenericFields$SimpleGenericField.class

@@ -0,0 +1,8 @@
+CORE
+GenericFields$SimpleGenericField.class
+--cover location --function GenericFields\$SimpleGenericField.foo --verbosity 10
+^EXIT=0$
+^SIGNAL=0$
+Reading class AWrapper
+Reading class FWrapper
+Reading class IWrapper