diff --git a/src/de/dhbwstuttgart/bytecode/signature/Signature.java b/src/de/dhbwstuttgart/bytecode/signature/Signature.java
index 09a2788f..11f3ca20 100644
--- a/src/de/dhbwstuttgart/bytecode/signature/Signature.java
+++ b/src/de/dhbwstuttgart/bytecode/signature/Signature.java
@@ -217,9 +217,11 @@ public class Signature {
 		HashMap<String, String> names = new HashMap<>();
 		
 		for(GenericInsertPair pair : simplifiedPairs) {
-			String sub = pair.TA1.getName()+"$";
-			String superT = pair.TA2.getName()+"$";
-			names.put(sub, superT);
+			if(ref.getParaList().contains(pair.TA1)) {
+				String sub = pair.TA1.getName()+"$";
+				String superT = pair.TA2.getName()+"$";
+				names.put(sub, superT);
+			}
 		}
 		
 		for(String sub : names.keySet()) {
@@ -241,6 +243,18 @@ public class Signature {
 				}
 			}
 		}
+		
+		for(RefTypeOrTPHOrWildcardOrGeneric p: ref.getParaList()) {
+			if(p instanceof TypePlaceholder) {
+				String name = ((TypePlaceholder) p).getName() + "$";
+				if(!genericsAndBoundsMethod.containsKey(name) && !genericsAndBounds.containsKey(name)) {
+					sw.visitFormalTypeParameter(name);
+					sw.visitClassBound().visitClassType(Type.getInternalName(Object.class));
+					sw.visitClassBound().visitEnd();
+					genericsAndBoundsMethod.put(name, Type.getInternalName(Object.class));
+				}
+			}
+		}
 	}
 
 	private ArrayList<GenericInsertPair> getAllPairs(RefType ref) {
diff --git a/test/bytecode/javFiles/Lambda.jav b/test/bytecode/javFiles/Lambda.jav
index 5ee83868..620440cd 100644
--- a/test/bytecode/javFiles/Lambda.jav
+++ b/test/bytecode/javFiles/Lambda.jav
@@ -1,4 +1,5 @@
-//class Apply { } 
+import java.util.Vector;
+class Apply { } 
 
 public class Lambda {
 
@@ -8,6 +9,7 @@ public class Lambda {
    };
 //   return lam1.apply(new Apply());
    return lam1;
+//   return new Vector();
   }
 }
 
diff --git a/test/logFiles/log b/test/logFiles/log
new file mode 100644
index 00000000..25a6eae5
--- /dev/null
+++ b/test/logFiles/log
@@ -0,0 +1,83 @@
+FC:\{java.util.AbstractList<DHR>=Elem: Node(java.util.AbstractList<DHR>)
+Prec: [java.util.Collection<DHR>, java.lang.Object, java.util.List<DHR>, java.lang.Iterable<DHR>, java.util.AbstractCollection<DHR>]
+Desc: [java.util.Vector<DHR>]
+
+, java.util.Collection<DHR>=Elem: Node(java.util.Collection<DHR>)
+Prec: [java.lang.Object, java.lang.Iterable<DHR>]
+Desc: [java.util.AbstractList<DHR>, java.util.List<DHR>, java.util.Vector<DHR>, java.util.AbstractCollection<DHR>]
+
+, java.lang.Cloneable=Elem: Node(java.lang.Cloneable)
+Prec: [java.lang.Object]
+Desc: [java.util.Vector<DHR>]
+
+, java.lang.Object=Elem: Node(java.lang.Object)
+Prec: [java.lang.Object]
+Desc: [java.util.AbstractList<DHR>, java.lang.Cloneable, java.util.Collection<DHR>, java.lang.Object, java.util.RandomAccess, Lambda, java.io.Serializable, java.util.List<DHR>, java.util.Vector<DHR>, java.lang.Iterable<DHR>, java.util.AbstractCollection<DHR>, Apply]
+
+, java.util.RandomAccess=Elem: Node(java.util.RandomAccess)
+Prec: [java.lang.Object]
+Desc: [java.util.Vector<DHR>]
+
+, java.util.List<DHR>=Elem: Node(java.util.List<DHR>)
+Prec: [java.util.Collection<DHR>, java.lang.Object, java.lang.Iterable<DHR>]
+Desc: [java.util.AbstractList<DHR>, java.util.Vector<DHR>]
+
+, Lambda=Elem: Node(Lambda)
+Prec: [java.lang.Object]
+Desc: []
+
+, java.io.Serializable=Elem: Node(java.io.Serializable)
+Prec: [java.lang.Object]
+Desc: [java.util.Vector<DHR>]
+
+, java.util.Vector<DHR>=Elem: Node(java.util.Vector<DHR>)
+Prec: [java.util.AbstractList<DHR>, java.lang.Cloneable, java.util.Collection<DHR>, java.lang.Object, java.util.RandomAccess, java.io.Serializable, java.util.List<DHR>, java.lang.Iterable<DHR>, java.util.AbstractCollection<DHR>]
+Desc: []
+
+, java.lang.Iterable<DHR>=Elem: Node(java.lang.Iterable<DHR>)
+Prec: [java.lang.Object]
+Desc: [java.util.AbstractList<DHR>, java.util.Collection<DHR>, java.util.List<DHR>, java.util.Vector<DHR>, java.util.AbstractCollection<DHR>]
+
+, java.util.AbstractCollection<DHR>=Elem: Node(java.util.AbstractCollection<DHR>)
+Prec: [java.util.Collection<DHR>, java.lang.Object, java.lang.Iterable<DHR>]
+Desc: [java.util.AbstractList<DHR>, java.util.Vector<DHR>]
+
+, Apply=Elem: Node(Apply)
+Prec: [java.lang.Object]
+Desc: []
+
+}
+class Apply {
+
+  Apply()({
+    super(());
+  })::TPH M
+
+}class Lambda {
+
+  TPH X m()({
+    TPH Y lam1;
+    (lam1)::TPH Y = ((TPH Z x) -> ({
+      return (x)::TPH Z;
+    })::TPH AA)::TPH AD;
+    return (lam1)::TPH Y;
+  })::TPH AE
+
+  Lambda()({
+    super(());
+  })::TPH AH
+
+}0 AA: [(AA =. BFC, 1, -1)]
+1 Unifikation: [(AD =. Fun1<Z,BFC>, -1), (AA =. BFC, 1, -1), (Z <. AA, 1, 1), (AD <. Y, -1, -1), (Y <. X, -1, -1)]
+1 AA: [(AA =. BFC, 1, -1)]
+2 Unifikation: [(Fun1<Z,BFC> <. Y, , -1), (AD =. Fun1<Z,BFC>, -1), (Z <. BFC, 1, -1), (AA =. BFC, 1, -1), (Y <. X, -1, -1)]
+2 AA: [(AA =. BFC, 1, -1)]
+3 Unifikation: [(Z <. BFC, 1, -1), (AD =. Fun1<Z,BFC>, -1), (AA =. BFC, 1, -1), (Y =. Fun1<gen_hv,gen_bf>, -1), (Fun1<gen_hv,gen_bf> <. X, , -1), (BFC <. gen_bf, -1, -1), (gen_hv <. Z, 1, 1)]
+3 AA: [(AA =. BFC, 1, -1)]
+4 Unifikation: [(gen_ah <. gen_hv, 1, 1), (Z <. BFC, 1, -1), (AD =. Fun1<Z,BFC>, -1), (AA =. BFC, 1, -1), (Y =. Fun1<gen_hv,gen_bf>, -1), (gen_bf <. gen_sr, -1, -1), (BFC <. gen_bf, -1, -1), (X =. Fun1<gen_ah,gen_sr>, -1), (gen_hv <. Z, 1, 1)]
+[(gen_ah <. gen_hv, 1, 1), (Z <. BFC, 1, -1), (AD =. Fun1<Z,BFC>, -1), (AA =. BFC, 1, -1), (Y =. Fun1<gen_hv,gen_bf>, -1), (gen_bf <. gen_sr, -1, -1), (BFC <. gen_bf, -1, -1), (X =. Fun1<gen_ah,gen_sr>, -1), (gen_hv <. Z, 1, 1)]
+Result1 [[(gen_ah <. gen_hv, 1, 1), (Z <. BFC, 1, -1), (AD =. Fun1<Z,BFC>, -1), (AA =. BFC, 1, -1), (Y =. Fun1<gen_hv,gen_bf>, -1), (gen_bf <. gen_sr, -1, -1), (BFC <. gen_bf, -1, -1), (X =. Fun1<gen_ah,gen_sr>, -1), (gen_hv <. Z, 1, 1)]]
+Result1 [[(gen_ah <. gen_hv, 1, 1), (Z <. BFC, 1, -1), (AD =. Fun1<Z,BFC>, -1), (AA =. BFC, 1, -1), (Y =. Fun1<gen_hv,gen_bf>, -1), (gen_bf <. gen_sr, -1, -1), (BFC <. gen_bf, -1, -1), (X =. Fun1<gen_ah,gen_sr>, -1), (gen_hv <. Z, 1, 1)]]
+Result1 [[(gen_ah <. gen_hv, 1, 1), (Z <. BFC, 1, -1), (AD =. Fun1<Z,BFC>, -1), (AA =. BFC, 1, -1), (Y =. Fun1<gen_hv,gen_bf>, -1), (gen_bf <. gen_sr, -1, -1), (BFC <. gen_bf, -1, -1), (X =. Fun1<gen_ah,gen_sr>, -1), (gen_hv <. Z, 1, 1)]]
+Result1 [[(gen_ah <. gen_hv, 1, 1), (Z <. BFC, 1, -1), (AD =. Fun1<Z,BFC>, -1), (AA =. BFC, 1, -1), (Y =. Fun1<gen_hv,gen_bf>, -1), (gen_bf <. gen_sr, -1, -1), (BFC <. gen_bf, -1, -1), (X =. Fun1<gen_ah,gen_sr>, -1), (gen_hv <. Z, 1, 1)]]
+RES: [[(gen_ah <. gen_hv, 1, 1), (Z <. BFC, 1, -1), (AD =. Fun1<Z,BFC>, -1), (AA =. BFC, 1, -1), (Y =. Fun1<gen_hv,gen_bf>, -1), (gen_bf <. gen_sr, -1, -1), (BFC <. gen_bf, -1, -1), (X =. Fun1<gen_ah,gen_sr>, -1), (gen_hv <. Z, 1, 1)]]